Remaining instruction for processing vectors

ABSTRACT

The described embodiments include a processor that executes a vector instruction. The processor starts by receiving an input vector and optionally receiving a predicate vector as inputs. The processor then executes the vector instruction, which causes the processor to determine a key element position in the input vector and generate a result vector. When generating the result vector, if the predicate vector is received, for each element in the result vector for which a corresponding element of the predicate vector is active, otherwise, for each element of the result vector, the processor sets each element of the result vector to the right of the key element to a first predetermined value and sets each element of the result vector at or to the left of the key element to a second predetermined value. The processor then sets one or more processor status flags based on the values in the result vector.

RELATED APPLICATIONS

This application is a continuation in part of, and hereby claimspriority under 35 U.S.C. §120 to, pending U.S. patent application Ser.No. 12/541,546, entitled “Running-Shift Instructions for ProcessingVectors,” by inventors Jeffry E. Gonion and Keith E. Diefendorff, filed14 Aug. 2009. This application also claims priority under 35 U.S.C. §120to U.S. provisional patent application No. 61/089,251, attorney docketno. APL-P7038PRV1, entitled “Macroscalar Processor Architecture,” byinventor Jeffry E. Gonion, filed 15 Aug. 2008, to which the parentapplication Ser. No. 12/541,546 also claims priority.

This application is related to: (1) pending application no. 12/419,629,attorney docket no. APL-P7038US1, entitled “Method and Apparatus forExecuting Program Code,” by inventors Jeffry E. Gonion and Keith E.Diefendorff, filed on 7 Apr. 2009; (2) pending application Ser. No.12/419,644, attorney docket no. APL-P7038US2, entitled “Break,Pre-Break, and Remaining Instructions for Processing Vectors,” byinventors Jeffry E. Gonion and Keith E. Diefendorff, filed on 7 Apr.2009; (3) pending application Ser. No. 12/419,661, attorney docket no.APL-P7038US3, entitled “Check-Hazard Instructions for ProcessingVectors,” by inventors Jeffry E. Gonion and Keith E. Diefendorff, filedon 7 Apr. 2009; (4) pending application Ser. No. 12/495,656, attorneydocket no. APL-P7038US4, entitled “Copy-Propagate, Propagate-Post, andPropagate-Prior Instructions For Processing Vectors,” by inventorsJeffry E. Gonion and Keith E. Diefendorff, filed on 30 Jun. 2009; (5)pending application Ser. No. 12/495,643, attorney docket no.APL-P7038US5, entitled “Shift-In-Right Instructions for ProcessingVectors,” by inventors Jeffry E. Gonion and Keith E. Diefendorff, filedon 30 Jun. 2009; (6) pending application Ser. No. 12/495,631, attorneydocket no. APL-P7038US6, entitled “Increment-Propagate andDecrement-Propagate Instructions for Processing Vectors,” by inventorsJeffry E. Gonion and Keith E. Diefendorff, filed on 30 Jun. 2009; (7)pending application Ser. No. 12/541,505, attorney docket no.APL-P7038US7, entitled “Running-Sum Instructions for ProcessingVectors,” by inventors Jeffry E. Gonion and Keith E. Diefendorff, filedon 14 Aug. 2009; and (8) pending application Ser. No. 12/541,526,attorney docket no. APL-P7038US8, entitled “Running-AND, Running-OR,Running-XOR, and Running-Multiply Instructions for Processing Vectors”by inventors Jeffry E. Gonion and Keith E. Diefendorff, filed on 14 Aug.2009. This application is also related to: (1) pending application Ser.No. 12/873,043, attorney docked no. APL-P7038USX1, entitled “Running-Minand Running-Max Instructions for Processing Vectors,” by inventorsJeffry E. Gonion and Keith E. Diefendorff, filed 31 Aug. 2010; (2)pending application Ser. No. 12/873,063, attorney docked no.APL-P7038USX2, entitled “Non-Faulting and First-Faulting Instructionsfor Processing Vectors,” by inventors Jeffry E. Gonion and Keith E.Diefendorff, filed 31 Aug. 2010; (3) pending application Ser. No.12/873,074, attorney docket no. APL-P7038USX3, entitled “Vector TestInstruction for Processing Vectors” by inventors Jeffry E. Gonion andKeith E. Diefendorff, filed 31 Aug. 2010; (4) pending application Ser.No. 12/907,471, attorney docket no. APL-P7038USX4, entitled “SelectFirst and Select Last Instructions for Processing Vectors,” by inventorsJeffry E. Gonion and Keith E. Diefendorff, filed 19 Oct. 2010; (5)pending application Ser. No. 12/907,490, attorney docket no.APL-P7038USX5, entitled “Actual Instruction and Actual-FaultInstructions for Processing Vectors”, by inventors Jeffry E. Gonion andKeith E. Diefendorff, filed 19 Oct. 2010.

This application is also related to: (1) pending application Ser. No.12/237,212, attorney docket no. APL-P6031US1, entitled “ConditionalData-Dependency Resolution in Vector Processors,” by inventors Jeffry E.Gonion and Keith E. Diefendorff, filed 24 Sep. 2008; (2) pendingapplication Ser. No. 12/237,196, attorney docket no. APL-P6031US2,entitled “Generating Stop Indicators Based on Conditional DataDependency in Vector Processors,” by inventors Jeffry E. Gonion andKeith E. Diefendorff, filed 24 Sep. 2008; and (3) pending applicationSer. No. 12/237,190, attorney docket no. APL-P6031US3, entitled“Generating Predicate Values Based on Conditional Data Dependency inVector Processors,” by inventors Jeffry E. Gonion and Keith E.Diefendorff, filed 24 Sep. 2008.

BACKGROUND

1. Field

The described embodiments relate to techniques for improving theperformance of computer systems. More specifically, the describedembodiments relate to a remaining instruction for processing vectors inprogram code.

2. Related Art

Recent advances in processor design have led to the development of anumber of different processor architectures. For example, processordesigners have created superscalar processors that exploitinstruction-level parallelism (ILP), multi-core processors that exploitthread-level parallelism (TLP), and vector processors that exploitdata-level parallelism (DLP). Each of these processor architectures hasunique advantages and disadvantages which have either encouraged orhampered the widespread adoption of the architecture. For example,because ILP processors can often operate on existing program code thathas undergone only minor modifications, these processors have achievedwidespread adoption. However, TLP and DLP processors typically requireapplications to be manually re-coded to gain the benefit of theparallelism that they offer, a process that requires extensive effort.Consequently, TLP and DLP processors have not gained widespread adoptionfor general-purpose applications.

One significant issue affecting the adoption of DLP processors is thevectorization of loops in program code. In a typical program, a largeportion of execution time is spent in loops. Unfortunately, many ofthese loops have characteristics that render them unvectorizable inexisting DLP processors. Thus, the performance benefits gained fromattempting to vectorize program code can be limited.

One significant obstacle to vectorizing loops in program code inexisting systems is dependencies between iterations of the loop. Forexample, loop-carried data dependencies and memory-address aliasing aretwo such dependencies. These dependencies can be identified by acompiler during the compiler's static analysis of program code, but theycannot be completely resolved until runtime data is available. Thus,because the compiler cannot conclusively determine that runtimedependencies will not be encountered, the compiler cannot vectorize theloop. Hence, because existing systems require that the compilerdetermine the extent of available parallelism during compilation,relatively little code can be vectorized.

SUMMARY

The described embodiments include a processor that executes a vectorinstruction. The processor starts by receiving an input vector andoptionally receiving a predicate vector (each of which includes Nelements) as inputs. The processor then executes the vector instruction.Executing the vector instruction causes the processor to determine a keyelement position using the input vector. If the predicate vector isreceived, the key element position is the rightmost active element ofthe input vector where a corresponding element of the predicate vectoris active, otherwise, the key element position is the rightmost activeelement of the input vector. Next, the processor generates a resultvector. When generating the result vector, the processor configured to,if the predicate vector is received, for each element in the resultvector for which a corresponding element of the predicate vector isactive, otherwise, for each element of the result vector, set eachelement of the result vector to the right of the key element to a firstpredetermined value and set each element of the result vector at or tothe left of the key element to a second predetermined value. Theprocessor then sets one or more processor status flags to indicatepositions in the result vector that are set to the first predeterminedvalue.

In some embodiments, when setting the one or more processor statusflags, the processor is configured to, if the predicate vector isreceived, for each element in the result vector for which the predicatevector is active, otherwise for each element of the result vector, atleast one of: (1) update a first processor status flag to indicate if aleftmost element of the result vector is set to the first predeterminedvalue; (2) update a second processor status flag to indicate if arightmost element of the result vector is set to the first predeterminedvalue; (3) update a third processor status flag to indicate if all ofthe elements of the result vector are set to the first predeterminedvalue; or (4) update a fourth processor status flag to indicate if noneof the elements of the result vector are set to the first predeterminedvalue.

In some embodiments, the processor executes a VectorTest instruction toset the processor status flags.

In some embodiments, when generating the result vector, for eachinactive element of the predicate vector, the processor sets thecorresponding element in the result vector to zero or leaves the valuein the element of the result vector unchanged.

In some embodiments, when there is no active element in the input vectorfor which a corresponding element of the predicate vector is active, andtherefore no key element position, if the predicate vector is received,for each element in the result vector for which a corresponding elementof the predicate vector is active, otherwise, for each element of theresult vector, the processor sets each element position of the resultvector to the first predetermined value.

BRIEF DESCRIPTION OF THE FIGURES

FIG. 1 presents a block diagram of a computer system in accordance withthe described embodiments.

FIG. 2 presents an expanded view of a processor in accordance with thedescribed embodiments.

FIG. 3 presents an expanded view of a vector execution unit inaccordance with the described embodiments.

FIG. 4 presents an example of the parallelization of a loop in programcode in accordance with the described embodiments.

FIG. 5 presents two tables illustrating operation using vectorized codein accordance with the described embodiments.

FIG. 6 presents vectorized program code in accordance with the describedembodiments.

FIGS. 7A-7B present exemplary vectorized program code in accordance withthe described embodiments.

FIG. 8 presents a vectorized loop from program code with memory aliasingin accordance with the described embodiments.

FIG. 9 presents a vectorized loop from program code with memory aliasingin accordance with the described embodiments.

FIG. 10 presents a vectorized loop from program code with pseudoloop-carried dependencies in accordance with the described embodiments.

FIG. 11 presents a vectorized loop from program code with conditionalupdates in accordance with the described embodiments.

FIG. 12 presents a section of source code in accordance with thedescribed embodiments.

FIGS. 13A-13B present a vectorized loop from program code withconsolidation in accordance with the described embodiments.

FIG. 14 presents an example loop from program code and a dependencychart in accordance with the described embodiments.

FIG. 15 presents a vectorized loop from program code with mutualdependences in accordance with the described embodiments.

FIG. 16 presents a vectorized loop from program code with mutualdependences in accordance with the described embodiments.

FIG. 17 presents a vectorized loop from program code with summation inaccordance with the described embodiments.

FIGS. 18A-18B present a vectorized loop from program code with summationin accordance with the described embodiments.

FIGS. 19A-19B present a vectorized loop from program code that has beenvectorized both horizontally and vertically in accordance with thedescribed embodiments.

FIG. 20 presents a flowchart illustrating a process for executingprogram code in accordance with the described embodiments.

FIG. 21 presents a flowchart illustrating a process for executingprogram code in accordance with the described embodiments.

In the figures, like reference numerals refer to the same figureelements.

DETAILED DESCRIPTION

The following description is presented to enable any person skilled inthe art to make and use the disclosed embodiments, and is provided inthe context of a particular application and its requirements. Variousmodifications to the disclosed embodiments will be readily apparent tothose skilled in the art, and the general principles defined herein maybe applied to other embodiments and applications without departing fromthe spirit and scope of the present embodiments. Thus, the system is notlimited to the embodiments shown, but is to be accorded the widest scopeconsistent with the principles and features disclosed herein.

The data structures and code herein described are typically stored on acomputer-readable storage device, which may be any device or medium thatcan store code and/or data for use by a computer system (e.g., computersystem 100). The computer-readable storage device includes, but is notlimited to, volatile memory, non-volatile memory, magnetic and opticalstorage devices such as disk drives, magnetic tape, CDs (compact discs),DVDs (digital versatile discs or digital video discs), or other mediacapable of storing computer-readable media now known or later developed.Note that non-statutory media such as transitory signals are notincluded in the computer-readable storage devices in these embodiments.

The methods and processes described in the detailed description sectioncan be embodied as code and/or data, which can be stored in acomputer-readable storage device as described above. When a computersystem reads and executes the code and/or data stored on thecomputer-readable storage device, the computer system performs themethods and processes embodied as data structures and code and storedwithin the computer-readable storage medium.

Furthermore, the methods and processes described below can be includedin hardware modules. For example, the hardware modules can include, butare not limited to, application-specific integrated circuit (ASIC)chips, field-programmable gate arrays (FPGAs), and otherprogrammable-logic devices now known or later developed. When thehardware modules are activated, the hardware modules perform the methodsand processes included within the hardware modules.

TERMINOLOGY

Throughout the description, we use the following terminology. Theseterms may be generally known in the art, but are described below toclarify the subsequent descriptions.

The term “cycle” as used in this description refers to a quantum of timein which an operation happens. Although a cycle can be exactly one clockcycle, in some embodiments one “cycle” includes two or more clockcycles. Moreover, although one operation may be performed during a givencycle, that operation may include any number of sub-operations. Forexample, when referring to a vector execution unit performing anoperation “in a cycle,” this means that sufficient time has passed toenable the execution unit to have completed the described operation.

The term “vector-length agnostic” as used in this description indicatesthat an operation (i.e., instruction, etc.) can be executed usingvectors of any length, up to the limitations imposed by the supportinghardware. For example, assuming that the vector execution hardwaresupports 256-bit vectors that can include eight separate four-bytewords, a vector-length agnostic operation can operate on any number ofthe eight words in the vector.

The term “active element,” as used in this description to refer to oneor more elements of a vector, indicates elements that are operated onduring a given operation. Generally, the described embodiments enable avector execution unit to selectively perform parallel operations on oneor more available elements in a given vector in parallel. For example,an operation can be performed on only the first two of eight elements ofthe vector in parallel. In this case, the first two elements are “activeelements,” while the remaining six elements are “inactive elements.” Inthe described embodiments, one or more other vectors can be used todetermine which elements in a given operand vector are active (i.e., areto be operated on). For example, a “predicate vector” (described indetail below) can include “active” elements that are used to determinewhich elements in the operand vector to perform operations on. In someembodiments, non-zero elements are active elements.

The terms “true indicator” and “false indicator” are used in thisdescription to refer to data values (e.g., a data value contained in anelement in a vector). Generally, in computer systems true and false areoften represented by 1 and 0, respectively. In practice, a givenembodiment could use any value to represent true and false, such as thenumber 55, or the letter “T.”

Computer System

FIG. 1 presents a block diagram of a computer system 100 in accordancewith the described embodiments. Computer system 100 includes processor102, L2 cache 106, memory 108, and mass-storage device 110. Processor102 includes L1 cache 104.

Processor 102 can be a general-purpose processor that performscomputational operations. For example, processor 102 can be a centralprocessing unit (CPU) such as a microprocessor, a controller, anapplication-specific integrated circuit (ASIC), or a field-programmablegate array (FPGA). In the described embodiments, processor 102 has oneor more mechanisms for vector processing (i.e., vector execution units).Processor 102's vector execution unit is described in detail below.

Mass-storage device 110, memory 108, L2 cache 106, and L1 cache 104 arecomputer-readable storage devices that collectively form a memoryhierarchy that stores data and instructions for processor 102.Generally, mass-storage device 110 is a high-capacity, non-volatilememory, such as a disk drive or a large flash memory, with a largeaccess time, while L1 cache 104, L2 cache 106, and memory 108 aresmaller, faster semiconductor memories that store copies of frequentlyused data. Memory 108 is typically a dynamic random access memory (DRAM)structure that is larger than L1 cache 104 and L2 cache 106, whereas L1cache 104 and L2 cache 106 are typically comprised of smaller staticrandom access memories (SRAM). In some embodiments, L2 cache 106, memory108, and mass-storage device 110 are shared between one or moreprocessors in computer system 100. Such memory structures are well-knownin the art and are therefore not described in more detail.

In some embodiments, the devices in the memory hierarchy (i.e., L1 cache104, etc.) can access (i.e., read and/or write) multiple cache lines percycle. These embodiments enable more effective processing of memoryaccesses that occur based on a vector of pointers or array indices tonon-contiguous memory addresses.

Computer system 100 can be incorporated into many different types ofelectronic devices. For example, computer system 100 can be part of adesktop computer, a laptop computer, a server, a media player, anappliance, a cellular phone, a piece of testing equipment, a networkappliance, a personal digital assistant (PDA), a hybrid device (i.e., a“smart phone”) or another electronic device.

Although we use specific components to describe computer system 100, inalternative embodiments different components may be present in computersystem 100. For example, computer system 100 may not include some of thememory hierarchy (e.g., memory 108 and/or mass-storage device 110).Alternatively, computer system 100 may include video cards,video-capture devices, user-interface devices, network cards, opticaldrives, and/or other peripheral devices that are coupled to processor102 using a bus, a network, or another suitable communication channel.Computer system 100 may also include one or more additional processors,wherein the processors share some or all of L2 cache 106, memory 108,and mass-storage device 110.

Processor

FIG. 2 presents an expanded view of processor 102 in accordance with thedescribed embodiments. As is shown in FIG. 2, processor 102 includes L1cache 104, integer execution unit 202, floating-point execution unit206, and vector execution unit 204 (integer execution unit 202,floating-point execution unit 206, and vector execution unit 204 as agroup are interchangeably referred to as “the execution units”). Each ofthe execution units is used for performing computational operations,such as logical operations, mathematical operations, or bitwiseoperations for an associated type of operand. More specifically, integerexecution unit 202 is used for performing computational operations thatinvolve integer operands, floating-point execution unit 206 is used forperforming computational operations that involve floating-pointoperands, and vector execution unit 204 is used for performingcomputational operations that involve vector operands. Integer executionunits and floating-point execution units are generally known in the artand are not described in more detail.

In the described embodiments, vector execution unit 204 is asingle-instruction-multiple-data (SIMD) execution unit that performsoperations in parallel on some or all of the data elements that areincluded in vectors of operands. FIG. 3 presents an expanded view ofvector execution unit 204 in accordance with the described embodiments.As is shown in FIG. 3, vector execution unit 204 includes a vectorregister file 300 and an execution unit 302. Vector register file 300includes a set of vector registers that can hold operand vectors andresult vectors for execution unit 302. In some embodiments, there are 32vector registers in the vector register file, and each register includes128 bits. In alternative embodiments, there are different numbers ofvector registers and/or different numbers of bits per register.

Execution unit 302 retrieves operands from registers in vector registerfile 300 and executes vector instructions that cause execution unit 302to perform operations in parallel on some or all of the data elements inthe operand vector. For example, execution unit 302 can perform logicaloperations, mathematical operations, or bitwise operations on theelements in the vector. Execution unit 302 can perform one vectoroperation per cycle (although, as described above, the “cycle” mayinclude more than one cycle of a clock used to trigger, synchronize,and/or control execution unit 302's computational operations).

In the described embodiments, execution unit 302 supports vectors thathold N data elements (e.g., bytes, words, doublewords, etc.). In theseembodiments, execution unit 302 can perform operations on Nor fewer ofthe data elements in an operand vector in parallel. For example,assuming an embodiment where the vector is 256 bits in length, the dataelements being operated on are four-byte words, and the operation isadding a value to the data elements, these embodiments can add the valueto any number of the words in the vector.

In the described embodiments, execution unit 302 includes at least onecontrol signal that enables the dynamic limitation of the data elementsin an operand vector on which execution unit 302 operates. Specifically,depending on the state of the control signal, execution unit 302 may ormay not operate on all the data elements in the vector. For example,assuming an embodiment where the vector is 512 bits in length and thedata elements being operated on are four-byte words, the control signalcan be asserted to prevent operations from being performed on some orall of 16 data words in the operand vector. Note that “dynamically”limiting the data elements in the operand vector upon which operationsare performed can involve asserting the control signal separately foreach cycle at runtime.

In some embodiments, based on the values contained in a vector ofpredicates or one or more scalar predicates, execution unit 302 appliesvector operations to selected vector data elements only. In someembodiments, the remaining data elements in a result vector remainunaffected (which we call “predication”) or are forced to zero (which wecall “zeroing”). In some of these embodiments, the clocks for the dataelement processing subsystems (“lanes”) that are unused due topredication or zeroing in execution unit 302 can be gated, therebyreducing dynamic power consumption in execution unit 302.

The described embodiments are vector-length agnostic. Thus, a compileror programmer need not have explicit knowledge of the vector lengthsupported by the underlying hardware (e.g., vector execution unit 302).In these embodiments, a compiler generates or a programmer writesprogram code that need not rely on (or use) a specific vector length(some embodiments are forbidden from even specifying a specific vectorsize in program code). Thus, the compiled code in these embodiments(i.e., binary code) runs on other embodiments with differing vectorlengths, while potentially realizing performance gains from processorsthat support longer vectors. Consequently, as process technology allowslonger vectors, execution of legacy binary code simply speeds up withoutany effort by software developers.

In some embodiments, vector lengths need not be powers of two.Specifically, vectors of 3, 7, or another number of data elements can beused in the same way as vectors with power-of-two numbers of dataelements.

In the described embodiments, each data element in the vector cancontain an address that is used by execution unit 302 for performing aset of memory accesses in parallel. In these embodiments, if one or moreelements of the vector contain invalid memory addresses, invalidmemory-read operations can occur. In these embodiments, invalidmemory-read operations that would otherwise result in programtermination instead cause any elements with valid addresses to be readand elements with invalid elements to be flagged, allowing programexecution to continue in the face of speculative, and in hindsightillegal, read operations.

In some embodiments, processor 102 (and hence execution unit 302) isable to operate on and use vectors of pointers. In these embodiments,the number of data elements per vector is the same as the number ofpointers per vector, regardless of the size of the data type.Instructions that operate on memory may have variants that indicate thesize of the memory access, but elements in processor registers should bethe same as the pointer size. In these embodiments, processors thatsupport both 32-bit and 64-bit addressing modes may choose to allowtwice as many elements per vector in 32-bit mode, thereby achievinggreater throughput. This implies a distinct throughput advantage to32-bit addressing, assuming the same width data path.Implementation-specific techniques can be used to relax the requirement.For example, double-precision floating-point numbers can be supported in32-bit mode through register pairing or some other specializedmechanism.

Although we describe processor 102 as including a particular set ofexecution units, in alternative embodiments, processor 102 can includedifferent numbers or types of execution units. Moreover, although theembodiment shown in FIG. 2 is limited to a particular set of functionalblocks, in the described embodiments processor 102 can include otherfunctional blocks, such as an instruction fetch unit, an instructiondecode unit, a branch unit, a memory management unit, I/O interfaces,etc. coupled to the execution units. The additional functional blocksthat can be present in processor 102 are well-known in the art and arenot described in more detail.

Macroscalar Architecture

The described embodiments provide an instruction set and supportinghardware that allow compilers to generate program code for loops withouthaving to completely determine parallelism at compile-time, and withoutdiscarding useful static analysis information. Specifically, theseembodiments provide a set of instructions that do not mandateparallelism for loops but, instead, enable parallelism to be exploitedat runtime if dynamic conditions permit. These embodiments thus includeinstructions that enable code generated by the compiler to dynamicallyswitch between non-parallel (scalar) and parallel (vector) execution forloop iterations depending on conditions at runtime by switching theamount of parallelism used.

As described, these embodiments provide instructions that enable anundetermined amount of vector parallelism for loop iterations but do notrequire that the parallelism be used at runtime. More specifically,these embodiments include a set of vector-length agnostic instructionswhose effective vector length can vary depending on runtime conditions.Thus, if runtime dependencies demand non-parallel execution of the code,then execution occurs with an effective vector length of one element.Likewise, if runtime conditions permit parallel execution, the same codeexecutes in a vector-parallel manner to whatever degree is allowed byruntime dependencies (and the vector length of the underlying hardware).For example, if two out of eight elements of the vector can safelyexecute in parallel, the described embodiments execute the two elementsin parallel. In these embodiments, expressing program code in avector-length agnostic format enables a broad range of vectorizationopportunities that are not present in existing systems.

In the described embodiments, during compilation, a compiler firstanalyzes the loop structure of a given loop in program code and performsstatic dependency analysis. The compiler then generates program codethat retains static analysis information and instructs processor 102 howto resolve runtime dependencies and process the program code with themaximum amount of parallelism possible. More specifically, the compilerprovides vector instructions for performing corresponding sets of loopiterations in parallel, and provides vector-control instructions fordynamically limiting the execution of the vector instructions to preventdata dependencies between the iterations of the loop from causing anerror. This approach defers the determination of parallelism to runtime,where the information on runtime dependencies is available, therebyallowing the software and processor to adapt parallelism to dynamicallychanging conditions.

FIG. 4 presents an example of the parallelization of a loop in programcode in accordance with the described embodiments. On the left side ofFIG. 4 is shown an execution pattern for four iterations of a loop thathave not been parallelized, where each loop includes instructions A-G.On the right side of FIG. 4 is shown a parallelized version of the loopin accordance with the described embodiments. In this example, we assumethat each instruction within an iteration depends on at least oneinstruction before it, so that there is a static dependency chainbetween the instructions of a given iteration. Hence, the instructionswithin a given iteration cannot be parallelized (i.e., instructions A-Gwithin a given iteration are always serially executed with respect tothe other instructions in the iteration). Note that in alternativeembodiments the instructions within a given iteration can beparallelizable.

As shown by the arrows between the iterations of the loop in FIG. 4,there is a possibility of a runtime data dependency between instructionE in a given iteration and instruction D of the subsequent iteration.However, during compilation, the compiler can only determine that thepossibility of data dependency exists between these instructions. Thecompiler cannot tell in which iterations dependencies actuallymaterialize, because this information is only available at runtime. Inthis example, a data dependency that actually materializes at runtime isshown by the solid arrows in FIG. 4, while a data dependency thatdoesn't materialize at runtime is shown using a dashed arrow. Thus, asshown in FIG. 4, a runtime data dependency actually occurs between thefirst/second and third/fourth iterations.

Because no data dependency exists between the second and thirditerations, the second and third iterations can safely be processed inparallel. Furthermore, instructions A-C and F-G of a given iterationhave dependencies only within an iteration and, therefore, instruction Aof a given iteration is able to execute in parallel with instruction Aof any other iteration, instruction B can also execute in parallel withinstruction B of any other iteration, and so forth.

The right side of FIG. 4 shows a version of the loop that has beenparallelized in accordance with the observations above. The exampleshows how the iterations of such a loop can be executed to accommodateboth the static and runtime data dependencies, while achieving maximumparallelism. For instructions A-C, all four iterations can be executedin parallel. Then instructions D and E can be executed with the maximumamount of parallelism allowed by the runtime data dependencies.Specifically, because instruction D in the second iteration depends oninstruction E in the first iteration, instructions D and E in the firstiteration must be executed before instruction D for the second iterationcan be executed. However, because there is no data dependency betweenthe second and third iterations, instructions D and E for theseiterations can be executed in parallel. Finally, for instructions F-G,all four iterations can be executed in parallel.

EXAMPLES OF THE EMBODIMENTS

In the following section, we present a series of examples in describingthe embodiments. These examples introduce Macroscalar operations anddemonstrate their use in vectorizing loops in accordance with thedescribed embodiments. For ease of understanding, these examples arepresented using C++-formatted pseudocode.

The instructions and operations presented in this description areintended to aid in understanding the described embodiments. However, inalternative embodiments, an instruction or operation can be implementedin a different way, for example, using a microcode sequence of moreprimitive operations or using a different sequence of sub-operations.Note that further decomposition of instructions is avoided so thatinformation about the macro-operation and the corresponding usage modelis not obscured. Note also that additional definitions for eachinstruction may be provided in the “Macroscalar Instructions” section inthis description.

Notation

In describing the examples, we use the following formats for variables,which are vector quantities unless otherwise noted:

p5 = a < b;

-   -   Elements of vector p5 are set to 0 or 1 depending on the result        of testing a<b. Note that vector p5 can be a “predicate vector,”        as described in detail below. Some instructions that generate        predicate vectors also set processor status flags to reflect the        resulting predicates. For example, the processor status flags        can include the FIRST, LAST, NONE, and/or ALL flags.        ˜p5; a = b + c;    -   Only elements in vector a designated by active (i.e., non-zero)        elements in the predicate vector p5 receive the result of b +c.        The remaining elements of a are unchanged. This operation is        called “predication,” and is denoted using the tilde (“˜”) sign        before the predicate vector.        !p5; a = b + c;    -   Only elements in vector a designated by active (i.e., non-zero)        elements in the predicate vector p5 receive the result of b + c.        The remaining elements of a are set to zero. This operation is        called “zeroing,” and is denoted using the exclamation point        (“!”) sign before the predicate vector.        if (FIRST( )) goto . . . ; Also LAST( ), ANY( ), ALL( ), CARRY(        ), ABOVE( ), or NONE( ), (where ANY( )==!NONE( ))    -   These instructions test the processor status flags and branch        accordingly.

x += VECLEN;

-   -   VECLEN is a machine value that communicates the number of        elements per vector. The value is determined at runtime by the        processor executing the code, rather than being determined by        the assembler.

// Comment

-   -   In a similar way to many common programming languages, the        following examples use the double forward slash to indicate        comments. These comments can provide information regarding the        values contained in the indicated vector or explanation of        operations being performed in a corresponding example.

In these examples, other C++-formatted operators retain theirconventional meanings, but are applied across the vector on anelement-by-element basis. Where function calls are employed, they implya single instruction that places any value returned into a destinationregister. For simplicity in understanding, all vectors discussed in thispaper are vectors of integers, but alternative embodiments support otherdata formats.

Structural Loop-Carried Dependencies

Example 1 presents an example loop in program code that is“non-vectorizable” using conventional vector architectures. (Note thatin addition to being non-vectorizable, this loop is also notmulti-threadable on conventional multi-threading architectures due tothe fine-grain nature of the data dependencies.) For clarity, this loophas been distilled to the fundamental loop-carried dependencies thatmake the loop unvectorizable.

In this example, the variables r and s have loop-carried dependenciesthat prevent vectorization using conventional architectures. Notice,however, that the loop is vectorizable as long as the condition(A[x]<FACTOR) is known to be always true or always false. Theseassumptions change when the condition is allowed to vary duringexecution (the common case). For simplicity in this example, we presumethat no aliasing exists between A [ ] and B [ ]. Note that aliasing isaddressed in later sections.

Example 1: Program Code Loop r = 0; s = 0; for (x=0; x<KSIZE; ++x) {  if(A [x] < FACTOR)  {   r = A [x+s];  }  else  {   s = A [x+r];  }  B [x]= r + s; }

In the described embodiments, the loop in Example 1 can be vectorized bypartitioning the vector into segments for which the conditional(A[x]<FACTOR) does not change. Exemplary processes for partitioning suchvectors, as well as exemplary instructions that enable the partitioning,are presented below. Note that for this example the describedpartitioning need only be applied to instructions within the conditionalclause. The first read of A [x] and the final operation B[x]=r+s canalways be executed in parallel across a full vector, except potentiallyon the final loop iteration.

We now present instructions and exemplary vectorized code in order toexplain the described embodiments. The following description isgenerally organized so that a number of instructions are described andthen one or more vectorized code samples that use the instructions arepresented. In some cases, a particular type of vectorization issue isexplored in a given example.

dest = VectorReadInt (base, offset)

VectorReadInt is an instruction for performing a memory read operation.A vector of offsets, offset, scaled by the data size (integer in thiscase) is added to a scalar base address, base, to form a vector ofmemory addresses which are then read into a destination vector. If theinstruction is predicated or zeroed, only addresses corresponding toactive elements are read. In the described embodiments, reads to invalidaddresses are allowed to fault, but such faults only result in programtermination if the first active address is invalid.

VectorWriteInt(base, offset, value)

VectorWriteInt is an instruction for performing a memory writeoperation. A vector of offsets, offset, scaled by the data size (integerin this case) is added to a scalar base address, base, to form a vectorof memory addresses. A vector of values, value, is written to thesememory addresses. If this instruction is predicated or zeroed, data iswritten only to active addresses. In the described embodiments, writesto illegal addresses always generate faults.

dest = VectorIndex(start, increment)

VectorIndex is an instruction for generating vectors of values thatmonotonically adjust by the increment from a scalar starting valuespecified by start. This instruction can be used for initializing loopindex variables when the index adjustment is constant. When predicationor zeroing is applied, the first active element receives the startingvalue, and the increment is only applied to subsequent active elements.For example:

-   -   x= VectorIndex(0,1); // x = { 0 1 2 3 4 5 6 7 }        dest = PropagatePostT(dest, src, pred)

The PropagatePostT instruction propagates the value of active elementsin src, as determined by pred, to subsequent inactive elements of dest.Active elements, and any inactive elements that precede the first activeelement, remain unchanged in dest. The purpose of this instruction is totake a value that is conditionally calculated, and propagate theconditionally calculated value to subsequent loop iterations as occursin the equivalent scalar code. For example:

Entry: dest = {8 9 A B C D E F} src = {1 2 3 4 5 6 7 8} pred = {0 0 1 10 0 1 0} Exit: dest = {8 9 A B 4 4 E 7}dest = PropagatePriorF(src, pred)

The PropagatePriorF instruction propagates the value of the inactiveelements of src, as determined by pred, into subsequent active elementsin dest. Inactive elements are copied from src to dest. If the firstelement of the predicate is active, then the last element of src ispropagated to that position. For example:

Entry: src = {1 2 3 4 5 6 7 8} pred = {1 0 1 1 0 0 1 0} Exit: dest = {82 2 2 5 6 6 8}dest = ConditionalStop(pred, deps)

The ConditionalStop instruction evaluates a vector of predicates, pred,and identifies transitions between adjacent predicate elements thatimply data dependencies as specified by deps. The scalar value deps canbe thought of as an array of four bits, each of which designates apossible transition between true/false elements in pred, as processedfrom left to right. These bits convey the presence of the indicateddependency if set, and guarantee the absence of the dependency if notset. They are:

-   -   kTF—Implies a loop-carried dependency from an iteration for        which the predicate is true, to the subsequent iteration for        which the value of the predicate is false.    -   kFF—Implies a loop-carried dependency from an iteration for        which the predicate is false, to the subsequent iteration for        which the value of the predicate is false.    -   kFT—Implies a loop-carried dependency from an iteration for        which the predicate is false, to the subsequent iteration for        which the value of the predicate is true.    -   kTT—Implies a loop-carried dependency from an iteration for        which the predicate is true, to the subsequent iteration for        which the value of the predicate is true.

The element position corresponding to the iteration that generates thedata that is depended upon is stored in the destination vector at theelement position corresponding to the iteration that depends on thedata. If no data dependency exists, a value of 0 is stored in thedestination vector at that element. The resulting dependency indexvector, or DIV, contains a vector of element-position indices thatrepresent dependencies. For the reasons described below, the firstelement of the vector is element number 1 (rather than 0).

As an example, consider the dependencies in the loop of Example 1. Inthis loop, transitions between true and false iterations of theconditional clause represent a loop-carried dependency that requires abreak in parallelism. This can be handled using the followinginstructions:

p1 = (t < FACTOR); // p1 = { 0 0 0 0 1 1 0 0 } p2 = ConditionalStop(p1,kTF|kFT); // p2 = { 0 0 0 0 4 0 6 0 }

Because the 4th iteration generates the required data, and the 5thiteration depends on it, a 4 is stored in position 5 of the outputvector p2 (interchangeably called the “dependency index vector” or“DIV”). The same applies for the 7th iteration, which depends on datafrom the 6th iteration. Other elements of the DIV are set to 0 toindicate the absence of dependencies. (Note that in this example thefirst element of the vector is element number 1.)

dest = GeneratePredicates (pred, DIV)

GeneratePredicates takes the dependency index vector, DIV, and generatespredicates corresponding to the next group of elements that may safelybe processed in parallel, given the previous group that was processed,indicated by pred. If no elements of pred are active, predicates aregenerated for the first group of elements that may safely be processedin parallel. If pred indicates that the final elements of the vectorhave been processed, then the instruction generates a result vector ofinactive predicates indicating that no elements should be processed andthe ZF flag is set. The CF flag is set to indicate that the last elementof the results is active. Using the values in the first example,GeneratePredicates operates as follows:

Entry Conditions: // i2 = { 0 0 0 0 4 0 6 0 } p2 = 0; // p2 = { 0 0 0 00 0 0 0 } Loop2:  p2 = GeneratePredicates (p2, i2); // p2′ = { 1 1 1  10 0 0 0 } CF = 0, ZF = 0  if (!CARRY( )) goto Loop2// p2′ ′ = { 0 0 0 01 1 0  0 } CF = 0, ZF = 0              // p2′ ′ ′ = { 0 0 0 0  0 0 1 1 }CF = 1, ZF = 0

From an initialized predicate p2 of all zeros, GeneratePredicatesgenerates new instances of p2 that partition subsequent vectorcalculations into three sub-vectors (i.e., p′, p″, and p′″). Thisenables the hardware to process the vector in groups that avoidviolating the data dependencies of the loop.

FIG. 5 presents two tables illustrating operation using vectorized codein accordance with the described embodiments. The top of FIG. 5 presentsa table illustrating a sequence of states through which scalar executionof the loop in Example 1 might progress using a randomized 50/50distribution of the direction of the conditional expression. The bottomof FIG. 5 presents a table illustrating a progression of execution forMacroscalar vectorized program code in accordance with the describedembodiments. In FIG. 5, the values read from A[ ] are shown usingleftward-slanting hash marks, while the values written to B[ ] are shownusing rightward-slanting hash marks, and values for “r” or “s”(depending on which is changed in a given iteration) are shown using ashaded background. Observe that “r” never changes while “s” is changing,and vice-versa.

Nothing prevents all values from being read from A[ ] in parallel orwritten to B[ ] in parallel, because neither set of values participatesin the loop-carried dependency chain. However, for the calculation of rand s, elements can be processed in parallel only while the value of theconditional expression remains the same (i.e., runs of true or false).This pattern for the execution of the program code for this loop isshown in the lower portion of FIG. 5. Note that the example uses vectorseight elements in length. When processing the first vector instruction,the first iteration is performed alone (i.e., execution unit 302processes only the first vector element), whereas iterations 1-5 areprocessed in parallel by execution unit 302, and then iterations 6-7 areprocessed in parallel by execution unit 302.

FIG. 6 presents exemplary vectorized program code in accordance with thedescribed embodiments. In FIG. 6, the top portion contains the originalsource code, while the bottom portion contains vectorized coderepresenting the operations that may be performed by the describedembodiments. In the vectorized code, Loop1 is the loop from the sourcecode, while Loop2 is the vector-partitioning loop that processes thesub-vector partitions.

In the example, array A[ ] is read and compared in full-length vectors(i.e., for a vector of N elements, N positions of array A[ ] are read atonce). Vector i2 is the DIV that controls partitioning of the vector.Partitioning is determined by monitoring the predicate p1 fortransitions between false and true, which indicate loop-carrieddependencies that should be observed. Predicate vector p2 determineswhich elements are to be acted upon at any time. In this particularloop, p1 has the same value in all elements of any sub-vector partition;therefore, only the first element of the partition needs to be checkedto determine which variable to update.

After variable s is updated, the PropagatePostT instruction propagatesthe final value in the active partition to subsequent elements in thevector. At the top of the loop, the PropagatePriorF instruction copiesthe last value of s from the final vector position across all elementsof the vector in preparation for the next pass. Note that variable r ispropagated using a different method, illustrating the efficiencies ofusing the PropagatePriorF instruction in certain cases.

Software Speculation

In the previous example, the vector partitions prior to the beginning ofthe vector-partitioning loop could be determined because thecontrol-flow decision was independent of the loop-carried dependencies.This is not always the case. Consider the following two loops:

Example 2A: Program Code Loop j = 0; for (x=0; x<KSIZE; ++x) {  if (A[x] < FACTOR)  {   j = A [x+j];  }  B [x] = j; }

Example 2B: Program Code Loop j = 0; for (x=0; x<KSIZE; ++x) {  if (A[x+j] < FACTOR)  {   j = A [x];  }  B [x] = j; }

In Example 2A, the control-flow decision is independent of theloop-carried dependency chain, while in Example 2B the control flowdecision is part of the loop-carried dependency chain. In someembodiments, the loop in Example 2B leads the described embodiments tospeculate that the value of j remains unchanged and compensate later ifthis prediction proves incorrect. In these embodiments, the speculationon the value of j does not significantly change the vectorization of theloop.

In some embodiments, the compiler can be configured to always predict nodata dependencies between the iterations of the loop. In theseembodiments, in the case that runtime data dependencies exist, the groupof active elements processed in parallel can be reduced to represent thegroup of elements that may safely be processed in parallel at that time.In these embodiments, there is little penalty for mispredicting moreparallelism than actually exists because no parallelism is actually lost(i.e., if necessary, the iterations can be processed one element at atime, in a non-parallel way). In these embodiments, the actual amount ofparallelism is simply recognized at a later stage.

dest = VectorReadIntFF(base, offset)

VectorReadIntFF is a first-faulting variant of VectorReadInt. Thisinstruction does not generate a fault if at least the first activeelement is a valid address. Unmapped or illegal addresses after thefirst active element are noted in the fault-status register. If thefirst active element of the address is unmapped, this instruction faultsto allow a virtual memory (VM) system in computer system 100 (not shown)to populate the page ensuring forward progress. Fault handling isdescribed in more detail below.

dest = Remaining(pred)

The Remaining instruction evaluates a vector of predicates, pred, andcalculates the remaining elements in the vector. This corresponds to theset of inactive predicates following the last active predicate. If thereare no active elements in pred, a vector of all active predicates isreturned. Likewise, if pred is a vector of all active predicates, avector of inactive predicates is returned. For example:

Entry: pred = {0 0 1 0 1 0 0 0} Exit: dest = {0 0 0 0 0 1 1 1}

FIGS. 7A-7B present exemplary vectorized code in accordance with thedescribed embodiments. The code sample shown in FIG. 7A is a vectorizedversion of the code in Example 2A (as presented above). The code sampleshown in FIG. 7B is a vectorized version of the code in Example 2B. Inthe vectorized code in FIG. 7B, the read of A[ ] and subsequentcomparison have been moved inside the vector-partitioning loop. Thus,these operations presume (speculate) that the value of j does notchange. Only after using j is it possible to determine where j maychange value. After j is updated, the remaining vector elements arere-computed as necessary to iterate through the entire vector. The useof the Remaining instruction in the speculative code sample allows theprogram to determine which elements remain to be processed in thevector-partitioning loop before the program can determine the sub-groupof these elements that are actually safe to process (i.e., that don'thave unresolved data dependencies).

The described embodiments include fault-tolerant read support. Thus, inthese embodiments, processor 102 can speculatively read data from memoryusing addresses from invalid elements of a vector instruction (e.g,VectorReadFF) in an attempt to load values that are to be later used incalculations. However, upon discovering that an invalid read hasoccurred, these values are ultimately discarded and, therefore, notgermane to correct program behavior. Because such reads may referencenon-existent or protected memory, these embodiments are configured tocontinue normal execution in the presence of invalid but irrelevant datamistakenly read from memory. (Note that in embodiments that supportvirtual memory, this has the additional benefit of not paging until theneed to do so is certain.)

In the loop shown in FIG. 7A-7B, there exists a loop-carried dependencybetween iterations where the condition is true, and subsequentiterations, regardless of the predicate value for the later iterations.This is reflected in the parameters of the ConditionalStop instruction.

The sample code in FIGS. 7A-7B highlights the differences betweennon-speculative and speculative vector partitioning. In Example 2A,memory is read and the predicate is calculated prior to theConditionalStop. The partitioning loop begins after the ConditionalStopinstruction. In Example 2B, the ConditionalStop instruction is executedinside the partitioning loop, and serves to recognize the dependenciesthat render earlier operations invalid. In both cases, theGeneratePredicates instruction calculates the predicates that controlwhich elements are used for the remainder of the partitioning loop.

Memory-Based Loop-Carried Dependencies

The examples presented thus far presume the compiler was able toestablish that no address aliasing existed at the time of compilation.Such determinations are often very difficult or impossible to make. Thenext example shows how loop-carried dependencies occurring throughmemory (which may include aliasing) are dealt with in the describedembodiments (i.e., in the Macroscalar architecture). Consider thefollowing loop:

Example 3: Program Code Loop for (x=0; x<KSIZE; ++x) {  r = C [x];  s =D [x];  A [x] = A [r] + A [s]; }

In Example 3, the compiler cannot determine at compile-time whether A[x]aliases with A[r] or A[s]. However, in the described embodiments, thecompiler inserts instructions that cause the hardware to check formemory hazards at runtime and partitions the vector accordingly atruntime to ensure correct program behavior.

dest = CheckHazardP(first, second, pred)

CheckHazardP examines two vectors of memory addresses (or indices)corresponding to two memory operations for potential data dependenciesthrough memory. The vector first holds addresses for the first memoryoperation, and vector second holds addresses for the second operation.The predicate pred indicates which elements of second are to be operatedupon. As scalar loop iterations proceed forward in time, vector elementsrepresenting sequential iterations appear left to right within vectors.CheckHazardP evaluates hazards in this context. The instructioncalculates a DIV representing memory hazards between the correspondingpair of first and second memory operations. The instruction correctlyevaluates write-after-read, read-after-write, and write-after-writememory hazards.

As with the ConditionalStop instruction, the element positioncorresponding to the iteration that generates the data that is dependedupon is stored in the destination vector at the element positioncorresponding to the iteration that is dependent upon the data. If nodata dependency exists, a zero is stored in the destination vector atthe element position corresponding to the iteration that does not havethe dependency. For example:

Entry: first = {2 3 4 5 6 7 8 9} second = {8 7 6 5 4 3 2 1} pred = {1 11 1 1 1 1 1} Exit: dest = {0 0 0 0 3 2 1 0}

Here, element 5 of the first vector (“first”) and element 3 of thesecond vector (“second”) both access array index 6. Therefore, a 3 isstored in position 5 of DIV. Likewise, element 6 of first and element 2of second both access array index position 7, causing a 2 to be storedin position 6 of DIV, and so forth. A zero is stored in DIV where nodata dependencies exist.

In some embodiments, the CheckHazardP instruction is configured toaccount for various sizes of data types. However, for clarity wedescribe the function of the instruction using only array index types.

The example above has three memory hazards. However, in the describedembodiments, only two partitions are needed to safely process theassociated memory operations. Close inspection reveals that handling thefirst hazard on element position 3 renders subsequent dependencies onlower or equally numbered element positions moot. For example:

Entry Conditions: // DIV = { 0 0 0 0 3 2 1 0 } // p2 = { 0 0 0 0 0 0 0 0} p2 = GeneratePredicates (p2,DIV); // p2 = { 1 1 1 1 0 0 0 0 } p2 =GeneratePredicates (p2,DIV); // p2 = { 0 0 0 0 1 1 1 1 }

The process used by the described embodiments to analyze a DIV todetermine where a vector should be broken is shown in pseudocode below.In some embodiments, processor 102 performs this calculation inparallel. For example:

List = <empty>; for (x=STARTPOS; x<VECLEN; ++x)  if (DIV [x] in List)  Break from loop;  else if (DIV [x] > 0)   Append <x> to List;

The vector may safely be processed in parallel over the interval[STARTPOS, x), where x is the position where DIV[x]>0, that is, fromSTARTPOS up to (but not including) position x, where STARTPOS refers tothe first vector element after the set of elements previously processed.If the set of previously processed elements is empty, then STARTPOSbegins at the first element.

In some embodiments, multiple DIVs may be generated in code usingConditionalStop and/or CheckHazardP instructions. The GeneratePredicatesinstruction, however, uses a single DIV to partition the vector. Thereare two methods for dealing with this situation: (1) partitioning loopscan be nested; or (2) the DIV's can be combined and used in a singlepartitioning loop. Either approach yields correct results, but theoptimal approach depends on the characteristics of the loop in question.More specifically, where multiple DIVs are expected not to havedependencies, such as when the compiler simply cannot determine aliasingon input parameters, these embodiments can combine multiple DIVs intoone, thus reducing the partitioning overhead. On the other hand, incases with an expectation of many realized memory hazards, theseembodiments can nest partitioning loops, thereby extracting the maximumparallelism possible (assuming the prospect of additional parallelismexists).

In some embodiments, DIVs can be combined using a VectorMax (A, B)instruction:

i2 = CheckHazardP(a,c,p0); // i2 = { 0 0 2 0 2 4 0 0 } i3 =CheckHazardP(b,c,p0); // i3 = { 0 0 1 3 3 0 0 0 } ix = VectorMax(i2,i3);// ix = { 0 0 2 3 3 4 0 0 }

Because the elements of a DIV should only contain numbers less than theposition of that element, which represent dependencies earlier in time,later dependencies only serve to further constrain the partitioning,which renders lower values redundant from the perspective of theGeneratePredicates instruction. Thus, taking the maximum of all DIVseffectively causes the GeneratePredicates instruction to return theintersection of the sets of elements that can safely be processed inparallel.

FIG. 8 presents a vectorized loop from program code with memory aliasingin accordance with the described embodiments. In this example noaliasing exists between C[ ] or D[ ] and A[ ], but operations on A[ ]may alias one another. If the compiler is unable to rule out aliasingwith C[ ] or D[ ], the compiler can generate additional hazard checks.Because there is no danger of aliasing in this case, the read operationson arrays C[ ] and D[ ] have been positioned outside thevector-partitioning loop, while operations on A[ ] remain within thepartitioning loop. If no aliasing actually exists within A[ ], thepartitions retain full vector size, and the partitioning loop simplyfalls through without iterating. However, for iterations where aliasingdoes occur, the partitioning loop partitions the vector to respect thedata dependencies, thereby ensuring correct operation.

In the example presented in FIG. 8, the hazard check is performed acrossthe entire vector of addresses. In the general case, however, it isoften necessary to check hazards between conditionally executed memoryoperations. The CheckHazardP instruction takes a predicate thatindicates which elements of the second memory operation are active. Ifnot all elements of the first operation are active, this CheckHazardPinstruction itself can be predicated with a zeroing predicatecorresponding to those elements of the first operand which are active.(Note that this yields correct results for cases where the first memoryoperation is predicated.)

FIG. 9 presents a vectorized loop from program code with memory aliasingin accordance with the described embodiments. As shown in FIG. 9, thetop portion is a loop with a memory hazard on array E[ ]. The codeconditionally reads and writes to unpredictable locations within thearray. The vectorized Macroscalar code for this loop is shown in thebottom portion in accordance with the described embodiments.

In the vectorized loop, p1 and p2 are predicates indicating whetherarray E[ ] is to be read or written, respectively. The CheckHazardPinstruction checks vectors of addresses (h and i) for memory hazards.The parameter p2 is passed to CheckHazardP as the predicate controllingthe second memory operation (the write). Thus, CheckHazardP identifiesthe memory hazard(s) between unconditional reads and conditional writespredicated on p2. The result of CheckHazardP is zero-predicated in p1.This places zeroes in the DIV (ix) for element positions that are not tobe read from E[ ]. Recall that a zero indicates no hazard. Thus, theresult, stored in ix, is a DIV that represents the hazards betweenconditional reads predicated on p1 and conditional writes predicated onp2. This is made possible because non-hazard conditions are representedwith a zero in the DIV.

Pseudo Loop-Carried Dependencies

The described embodiments can encounter pseudo loop-carrieddependencies. In these embodiments, not all references to valuescalculated during a previous iteration are actual loop-carrieddependencies. A common example is when a calculated value is compared toits value from the previous iteration. Such dependencies are merelyoverlapping dependencies and, hence, do not form a loop-carrieddependency chain. The following loop is used as an example:

Example 4: Program Code Loop j = 0; for (x=0; x<KSIZE; ++x) { j = A[x] +A[x+1]; if (j != last) { B[x] = j; } last = j; if (E[x] < RANGE)continue; if (C[x] < FACTOR) { D[x] = j; } }dest = ShiftInRightP(in, vect, pred)

The ShiftInRightP instruction takes the scalar value in and places in inthe leftmost position of vector vect, shifting elements of vect to theright to make room. Shifted elements are propagated across elements thathave a zero-predicate in the parameter. The shifted vector is thenstored to the destination register. For example:

Entry: in = 9 vect = {1 2 3 4 5 6 7 8} pred = {0 1 1 1 0 1 1 1} Exit:dest = {9 9 2 3 4 4 6 7}dest = Continue(pred)

The Continue instruction evaluates the predicate pred, and returns thelogical negation of each active element. In the described embodiments,this instruction can be used to handle C-language “continue” statements.In the described embodiments, the Continue instruction performs asimilar operation to the logical “not” operation. For example:

Entry: pred = {0 0 1 0 0 1 0 0} Exit: dest = {1 1 0 1 1 0 1 1}

FIG. 10 presents a vectorized loop from program code with pseudoloop-carried dependencies in accordance with the described embodiments.As shown in FIG. 10, the vector last represents a vector of last valuesof j. The vector last is calculated by shifting the vector j to theright one position. The last value of j from the previous pass is keptin the scalar q and is shifted into the earliest position of last.Likewise, the ultimate value of j from the current pass is copied intothe scalar q for the next pass by the “q=j” operation.

To process the “continue” statement in this loop, the predicate p1 iscalculated to constrain the elements for the remainder of the loop. Thisis predicated on p0 so that elements previously inactive remaininactive.

Conditional Updates

The described embodiments can encounter loop-carried dependencies thatoccur as the result of conditionally updating variables in loops. Forexample, incrementing a variable in every iteration is not considered aloop-carried dependency because the variable is a priori computable by acompiler. However, if the increment occurs conditionally, then aloop-carried dependency can be created.

Example 5: Program Code Loop y = 0; for (x=0; x<KSIZE; ++x) { B[x] =A[y]; if (A[x] < FACTOR1) ++y; if (y >= FACTOR2) y = 0; C[x] = A[y]; }

Note that in Example 5, the variable y is used before being updated.This is a common occurrence, but this case presents another obstacle tovectorization: a vector y must be calculated to determine the values ofy before y was calculated. This loop also uses y after y is updated.

This example conditionally updates the variable y either by incrementingy or resetting y to zero. Although y is a loop-carried dependencybecause y is conditionally updated, note that there are two situationswhere its value is predictable, thereby allowing parallelism: iterationswhere y is incremented but not reset, and iterations where y remainsunchanged.

dest = IncrPropagate1(value, pred)

This instruction returns a vector corresponding to the values of avariable before the variable is incremented. Only the first activeelement of value is referenced in this calculation. The parameter preddesignates the active elements. The post-increment value is propagatedacross inactive elements. For example:

Entry: value = {2 4 2 4 2 4 2 4} pred = {0 1 1 1 0 0 1 1} Exit: dest ={2 4 5 6 7 7 7 8}

As shown, the first element of the vector remains unchanged because thefirst value is inactive. The second element remains unchanged becausethe second element's value before the second element is incremented isunchanged. The first active element in value (the second element in thisexample) serves as the basis for calculating the remaining activeelements.

dest = IncrPropagate2(value, pred)

This instruction returns a vector corresponding to the value of avariable after the variable is incremented. Only the first activeelement of value is referenced in this calculation. The parameter preddesignates which elements are active. The post-increment value ispropagated across inactive elements. For example:

Entry: value = {2 4 2 4 2 4 2 4} pred = {0 1 1 1 0 0 1 1} Exit: dest ={2 5 6 7 7 7 8 9}dest =DecrPropagate1(value, pred)dest =DecrPropagate2(value, pred)

These instructions are the decrementing variants of IncrPropagate1 andIncrPropagate2, respectively. As described above, these instructionsreturn a vector corresponding to the value of a variable before andafter the variable is decremented, respectively. Only the first activeelement of value is referenced in this calculation. The parameter preddesignates which elements are active. The post-decrement value ispropagated across inactive elements.

FIG. 11 presents a vectorized loop from program code with conditionalupdates in accordance with the described embodiments. As shown in FIG.11, the comparison with FACTOR1 determines whether the variable y isincremented, and the comparison with FACTOR2 determines if y is to bereset. In the vectorized code, speculative partitioning is used,speculating that variable y is not to be reset. In some embodiments,speculative partitioning always speculates in the direction that allowsthe most parallelism.

In the outer loop, Loop1, vector p2 is initially cleared in preparationfor the GeneratePredicates instruction in Loop2. Because speculativepartitioning is being used, however, any remaining elements should bedetermined before GeneratePredicates executes. The Remaining instructiondetermines the number of elements remaining to be processed.GeneratePredicates may reduce this further based on the determination ofdependencies that were not available earlier.

Consolidation

It is common for variables calculated within loops to be used after theloop terminates. In the described embodiments, because the loops beingvectorized are initially scalar, some vectors may need to be re-cast asscalars for subsequent use. We call this process “consolidation.” Theseembodiments account for the case where a loop terminates prematurely andthe most recent value written to a register may not be its final value.In this case, the final scalar value of a variable may be from anearlier write that alters an element corresponding to a later iteration.For example, in Example 6 below the final scalar value for the variabler is 15. This is easily determinable because the calculations areunconditional.

Example 6: Program Code Loop for (x=0; x<10; ++x) { r = x * 3; if (x ==5) break; r = x * 2; }

In the following loop, calculations of r are conditional, as are theconditions that can cause premature loop termination:

Example 7: Program Code Loop x = 0; for (; x<KSIZE; ++x) { r = 23; for(; x<KSIZE; ++x) { if (A[x] < FACTOR1) r = A[x]; if (B[x] < FACTOR2)break; if (C[x] < FACTOR1) r = C[x]; if (D[x] < FACTOR2) break; if (E[x]< FACTOR1) r = E[x]; if (F[x] < FACTOR2) break; } if (x < KSIZE) { G[x]= r; } }dest = PreBreak(pred)

The PreBreak instruction evaluates the predicate pred, which indicateswhich iteration (if any) prematurely exits the loop via a C-style“break” instruction. The instruction returns a predicate indicatingwhich loop iterations should be active before the break occurs. Forexample:

Entry: pred = {0 0 0 1 0 1 0 0} Exit: dest = {1 1 1 1 0 0 0 0}dest = Break(pred)

The Break instruction evaluates the predicate pred, which indicateswhich iteration (if any) prematurely exits the loop via a C-style“break” instruction. The instruction returns a predicate indicatingwhich loop iterations should be active after the break occurs and statusflags reflecting this result. For example:

Entry: pred = {0 0 0 1 0 1 0 0} Exit: dest = {1 1 1 0 0 0 0 0}dest = CopyPropagate(dest, src, pred)

The CopyPropagate instruction copies active elements of src, asdetermined by pred, into the destination dest. The copy operationeffectively progresses left to right. Any inactive elements prior to thefirst active element remain unchanged in dest. From this point forward,active elements are copied from src to dest. For inactive elements, thelast active element of src is propagated into dest. For example:

Entry: dest = {1 2 3 4 5 6 7 8} src = {9 A B C D E F 0} pred = {0 1 1 10 0 1 1} Exit: dest = {1 A B C C C F 0}

FIGS. 12 and 13 present a vectorized loop from program code withconsolidation in accordance with the described embodiments. In thesefigures, FIG. 12 includes the original source code, while FIGS. 13A-13Binclude the vectorized code.

FIGS. 12 and 13A-13B illustrate a general case of consolidatingvariables in the presence of premature loop termination. For eachpossible early termination, both the Break and PreBreak results arerecorded, predicated on any prior termination condition. Before thearray G[ ] can be written, the correct value of r should be consolidatedfrom the various conditional reads that may have occurred. To accomplishthis, the shortest extent of the PreBreak conditions is used to mask theconditional read predicates, which are OR-ed together. This indicateswhich element of r is propagated. The CopyPropagate operation thenpropagates this value to the end of the vector. The scalar value of r isthen extracted using the PreBreak extent that was calculated earlier.

Interdependent Read-After-Write

Data dependencies in scalar code generally occur in a simple “to-from”form. When such code is vectorized, dependencies between vector elements(corresponding to instances of scalar variables in time) remain in theto-from form. However, because executing the vector instructions cancoalesce operations on variables that occur at different times in thescalar version of the code; paradoxical vector interdependencies can becreated. For example, consider the example loop and the dependency chartshown in FIG. 14. In the example loop, the scalar dependencies arestraightforward. The vectorization of this simple source code iscomplicated because in order to perform the write operation, the systemneeds a vector of t indices, but using the read operation to obtain avector of t indices potentially depends on the write occurring first.

This situation is unique to vectorized code. Scalar code does not sufferthis phenomenon because dependencies occur in different iterations atdifferent times. Another situation that can cause a mutual dependency iswhen a write occurs before a conditional break from a loop. If thetermination test depends on the write, a mutual dependency is createdbecause the existence of the write depends on the loop not terminatingprematurely.

Consider the two loops shown in Example 8A and 8B, below. Example 8Acontains a write to A[ ] between two reads of A[ ]. Because the writedepends on the variable k, and k is potentially dependent upon thewrite, a mutual dependence is created. Example 8B also has a mutualdependence, except that half of the mutual dependence is a control-flowdependency, while the other half is a data dependency. The write to B[ ]can only be allowed in iterations that should actually execute, but thebreak depends on the write to B[ ].

Example 8A: Program Code Loop k = 99; for (x=0; x<KSIZE; ++x) { j =A[D[x]]; A[C[x]] = j + k; k = A[B[x]]; E[x] = k; }

Example 8B: Program Code Loop for (x=0; x<KSIZE; ++x) { t = A[x]; B[x] =t; if (B[t] < FACTOR) break; C[x] = B[t]; }dest = CheckHazardPx(first, second, pred)

CheckHazardPx evaluates two vectors of addresses/indices for potentialmemory hazards, where the operations may be interdependent. Thisinstruction is similar to the CheckHazardP instruction. UnlikeCheckHazardP, where each element of first is checked only againstlesser-ordered elements in second, CheckHazardPx also checksequal-numbered element positions in second. If these overlap then theelement position with the hazard is recorded in the next highest elementposition. For example:

Entry: first = {1 2 3 4 5 6 7 8} second = {3 1 2 3 5 4 5 6} pred = {1 11 1 1 1 1 1} Exit: dest = {0 0 1 0 0 5 0 0}

FIGS. 15-16 present two loops from program code with mutual dependencesalong with vectorized versions of these loops in accordance with thedescribed embodiments. In the example shown in FIG. 15, before writingto A[C[x]] it is necessary to perform the potentially dependent read ofA[B[x]] so that a vector of k can be calculated. This is accomplishedwith a vector-partitioning loop based on CheckHazardPx to break thevector where k actually depends on the write to A[ ]. To functioncorrectly where a single memory location is written and then read in thesame iteration, the original read is also required after the write. Inpractice this does not substantially affect performance because allvalues have been recently accessed and are in the cache. The dependencebetween A[D[x]] and A[B [x]] is handled with a CheckHazardP instruction.Because k is calculated in the iteration before k is used, theShiftInRightP instruction is used to move the data into the correctelement position.

In the example shown in FIG. 16, the loop may prematurely exit based ondata read from B[t], which occurs after the write to B[x]. The sametechnique is applied as in FIG. 15, but the data read from B[t] is usedto calculate whether a premature exit occurs and limit the writeaccordingly, thus ensuring that no writes occur for loop iterations thatwould not have executed in a sequential machine. Due to the possibilityof premature exit, when B[t] is re-read the terminating condition shouldbe re-calculated to ensure all loop exits are properly recognized.

Summation

A common operation is calculating the sum of a series of items. If therunning sum result is referenced within the loop, the result should becalculated each step of the way. Consider the following loop where aconditional running sum is stored to array B[ ].

Example 9: Program Code Loop v = v2 = 0; for (x=0; x<KSIZE; ++x) { if(A[x] < FACTOR1) v = A[x]; B[v] = v2; if (A[x] > FACTOR2 && A[x] <FACTOR3) continue; v2 += v; }dest = RunningSum1P(base, addend, pred)

This instruction returns a vector corresponding to the value of avariable before a recursive add is performed on the variable. Only thefirst active element of vector base is used in this calculation. Thevector parameter addend holds the values that are added to base. Thevector parameter pred designates which elements are active. The post-addvalue is propagated across inactive elements. For example:

Entry: value = {3 4 3 4  3  4  3  4} addend = {2 3 2 3  2  3  2  3} pred= {0 1 1 1  0  0  1  1} Exit: dest = {3 4 7 9 12 12 12 14}

As shown above, the first element in the vector remains unchangedbecause the first element of the vector is inactive. The second elementin the vector remains unchanged because the element retains its valuebefore the addend is added to the element. The first active element inbase (the second element in base) is the basis for the remainingcalculations.

dest = RunningSum2P(base, addend, pred)

This instruction returns a vector corresponding to the value of avariable after an addend gets recursively added to it. Only the firstactive element of base is used in this calculation. The parameter addendholds the values that are added to base. The parameter pred designateswhich elements are active. The post-add value is propagated acrossinactive elements. For example:

Entry: value = {3 4 3  4  3  4  3  4} addend = {2 3 2  3  2  3  2  3}pred = {0 1 1  1  0  0  1  1} Exit: dest = {3 7 9 12 12 12 14 17}

Along with the RunningSum operations, the described embodiments cansupport other operations that “run” across the vector. In theseembodiments, there can be a number of instructions that encapsulatecommonly used operations across the vector in a vector-length agnosticmanner, thereby allowing the amount of parallelism to vary due toruntime dependencies. For example, some embodiments include a runningbitwise shift instruction for those loops that perform successive shiftsto process bits of a word. In these embodiments, the running-shiftinstruction takes the number of positions to shift as a vectorparameter, as well as a predicate to indicate when shifts occur and whenthey do not. In addition, some embodiments include running bitwise andlogical operations, such as AND/OR/XOR. Moreover, some embodimentsinclude a running-multiply, which addresses common functions such asexponentiation, factorial, and Taylor-series expansion.

FIG. 17 presents a vectorized loop from program code with summation inaccordance with the described embodiments. As shown in FIG. 17, whenvectorizing the source code, the write of B[ ] is relocated to thebottom of the loop body, which allows a vector of v2 sums to becalculated before they are written. In the original loop, the value ofv2 is used before the addition occurs, which first requires aRunningSum1P instruction to calculate a vector of v2 sums correspondingto the scalar values of v2 before the add occurs. After v2 is written,RunningSum2P is used to calculate a vector of v2 sums corresponding tothe scalar values of v2 after the addition is performed. This secondstep is necessary so the next pass can use the final value, although itis often the case that the final value is also needed later in the samepass.

A Complex Example

Example 10, below, presents a loop in program code that includes manyobstacles to conventional vectorization: pointer chasing, addressaliasing, irregular memory addressing, a data-serial function,unpredictable loop exit conditions, and loop-carried dependencies.Previous examples have illustrated how the described embodiments (i.e.,the Macroscalar architecture) address loop-carried dependencies,unpredictable loop termination, and irregular memory addressing. Example10 introduces two varieties of data-serial dependency chains. The firstis pointer-chasing, contained in the z=A[z] statement in the sourcecode. While pointer-chasing itself cannot be vectorized, many loopscontaining pointer chasing can, as is shown in this example. The seconddata-serial chain is an inner loop which performs an integer square-rootcalculation. In this inner loop, every iteration depends on the resultsof the prior iteration, and the loop exit depends on the final iterationand, therefore, cannot be predicted.

Example 10: Program Code Loop y = z = 0; for (x=0; x<LIMIT; ++x) { z =A[z]; t = B[z]; tx = t; ty = t / tx; while (ty < tx) { tx = (tx + ty) /2; ty = t / tx; } if (tx < FACTOR) { A[y++] = tx; } }dest = VectorReadIntFF(base, offset)

VectorReadIntFF is a first-faulting variant of VectorReadInt. Thisinstruction does not generate a fault if an address is unmapped orotherwise illegal to access. Results corresponding to invalid addressesare noted in the fault-status register. If the first active element ofthe address is unmapped, this instruction sets the ZF flag to indicatethat no data was returned. Fault handling is described in more detailbelow.

FIGS. 18A-18B present a vectorized loop from program code with summationin accordance with the described embodiments. As shown in FIG. 18B, theinstruction VectorIndex(0, 1) is used to create a DIV i2 that partitionsthe vector into single-element sub-vectors, serializing the pointerchase. Because the pointer chase in this case is speculative, bothVectorReadIntFF and VectorReadIntNF are used to speculative chasepointers at the beginning of the loop to build a full vector of possiblepointers before proceeding with the rest of the loop. Note the use ofthe “above” conditional branch, which loops until the end of the vector,or until the first illegal read operation.

In all previous examples, vectorization was performed “horizontally,”that is, each element of the Macroscalar vectors represents acorresponding iteration of the loop. In this example there are twoloops: The outer “for” loop, and the inner “while” loop. The enclosing“for” loop is, as before, horizontally vectorized, but the inner “while”loop is vertically vectorized. In a vertically vectorized loop, thedescribed embodiments process the iterations of the loop sequentially intime, just like a scalar loop, but the data is a vector rather than ascalar loop. In vertically vectorized loops, the vector of data beingprocessed corresponds to multiple iterations of the enclosing loop. Inother words, a horizontal vector built in the enclosing “for” loop isiterated sequentially until the termination conditions of the “while”loop are met for all elements of the vector.

Horizontal and Vertical Vectorization

In the preceding examples of the described embodiments, verticalvectorization was applied because horizontal vectorization was notpossible due to serial dependence in the inner loop. However, verticalvectorization is an efficient vectorization technique in its own right,as demonstrated below.

Example 11: Program Code Loop for (x=0; x<LIMIT; ++x) { t = A[x]; s = 0;for (y=0; y<t; ++y) { s += A[x+y]; } B[x] = s; }

The loop in Example 11 encloses a simple summation loop, which is bothhorizontally and vertically vectorized to illustrate the operationsperformed by the described embodiments. When the inner loop ishorizontally vectorized, a scalar region is generated around the innerloop that removes the inner loop from the surrounding vector context.

FIGS. 19A-19B present a vectorized loop from program code that has beenvectorized both horizontally and vertically in accordance with thedescribed embodiments. Note that the code from Example 11 above is thecode that has been vectorized in the examples in FIGS. 19A-19B.

Classifying Loops

Some embodiments classify loops according to the dependencies thataffect the vectorization of the loop. For example, in some embodiments,many loops, vectorizable or not, fall into one or more of theseclassifications:

-   -   Classically vectorizable loops: These loops contain no        loop-carried dependencies (LCD's) other than induction        variables.    -   Loops containing associative loop-carried dependencies (LCDs):        These loops contain LCDs over an associative operation. The LCD        may be executed conditionally or unconditionally. However, if        the LCD is conditionally executed, the condition must not form        part of the LCD chain. For example, these LCDs can be reduction        operations.    -   Loops containing conditional LCDs: These loops contain LCDs that        are executed conditionally, which may take the form of multiple        conditionally-interacting LCDs or conditionally executed        non-associative LCDs. For example, these LCDs can represent        control-flow hazards.    -   Loops containing memory hazards (potential LCDs): These loops        may contain actual address aliasing or addressing that the        compiler could not adequately disambiguate aliasing for        (may-alias).    -   Loops for which the degree of parallelism depends on LCD values:        These are loops for which the values of the LCDs result in other        run-time dependencies which affect the amount of available        parallelism in the loop. These loops are typically vectorized        using the above-described software speculation techniques.    -   Loops containing non-associative LCDs: This category includes        LCDs such as Newton-Raphson convergence and pointer-chasing.        These dependencies are generally vectorized using vertical        vectorization. Where vertical vectorization is not possible, the        loop may be partially vectorizable by serializing the        loop-carried dependency and vectorizing the remainder of the        loop.

Vectorizing Functions and Function Calls

In some embodiments, the compiler can replicate a function with aconventional scalar interface (i.e., a version of the function withscalar inputs and outputs) and create a secondary version with a vectorinterface (or can create a version with the vector interface alone).Such functions are typically vertically vectorized, for efficiency andsimplicity, although horizontal vectorization may also be applied. Inthese embodiments, function vectorization is most easily achieved incases where the function has no side effects on global, file-scopestatic, or function-local static storage. Functions using straight-linecode (without loops) can also be vertically vectorized, operating oneither full or partial vectors under the control of a predicate passedto the function in the compiler-generated vector interface.

If only “safe” functions are vectorized, the existence of the secondaryvariant guarantees that the function can safely and effectively becalled from within a vectorized loop. Thus, in the describedembodiments, Macroscalar vectorization techniques can be applied tovectorize commonly used functions such as sin( ) cos( ) tan( ) atan( ),sqrt( ) etc. Doing so enables loops using these functions to call vectorvariants with vector interfaces, rather than incurring the bottleneck ofa scalar interface.

While the scheme above works for file-local functions, library functionslike sin( ) have interfaces established through header files. Becausecompilers in the described embodiments generally do not make autonomousmodification of header files, in some embodiments, an annotationmechanism, such as compiler-generated XML files stored in standardizedlocations, provides additional compiler-generated source-level inputdescribing the secondary compiler-generated vector function interfaces.In these embodiments, the compiler attempts to open these annotationfiles implicitly upon inclusion of the appropriate header file. Forexample, upon inclusion of the header file <stdlib.h>, the compiler alsoattempts to load <stdlib.xml>. If the file did not exist, then thecompiler presumes that no vector interfaces existed.

In the described embodiments, the annotation mechanism also has thepotential to enable vectorization in other ways. For example, assume aloop calling two functions, one at the top of the loop body, foo( ) andthe other near the bottom, bar( ). In the absence of any deepinformation about these functions beyond their interfaces, the compileris forced to generate program code wherein the functions and the entirebody of code between them execute serially, one element at a time. Forexample, foo( ) might call srand( ), while bar( ) might call rand( )Calling srand( ) multiple times before calling rand( ) is incorrect. If,on the other hand, the functions modify no non-local state, the compilervectorizes the code between the two function calls. The annotationscheme mentioned above can be extended to provide information about thefunctions and their descendants that enable the compiler to vectorizesuch code.

In the extended annotation scheme in the described embodiments,attributes of functions are propagated up through their callers tocommunicate key information to the compiler about all the functionscalled from a loop. Information as to whether the functions modifyfunction-scope static variables, pointed-to function parameters,file-scope static variables, or global variables is enormously valuable.For file-scope static variables, for example, the type of reference(read or write), the name of the variable, and the file where they arelocated might be communicated. For global variables, only the name andtype of reference is necessary. Knowledge that a function modifies noparameters or static state enables the compiler in the describedembodiments to forgo enforcement of atomicity on that function, therebyremoving that obstacle to vectorization.

The process in these embodiments is caller-guaranteed-correctness,assisted by trustable hints about the functions being called. Theabsence of a hint may cause the preclusion of an optimization, but isalways safe. In these embodiments, annotations begin at the bottom levelof the library, because non-annotated functions propagate uncertaintyupward, disabling many opportunities for vectorization.

Fault Handling

In the described embodiments, certain types of instructions can generateexceptions (or interrupts) in response to a fault condition resultingfrom the operation being performed. For example, memory operations thatcause a virtual-memory system in computer system 100 (not shown) tobring pages into memory or floating-point operations that invokesoftware fix-up handlers at run-time can cause computer system 100 togenerate exceptions. In these embodiments, instructions that cangenerate fault conditions can classified as “all-faulting instructions,”as “first-faulting instructions,” or as “non-faulting instructions.”All-faulting instructions generate an exception when the operation onany element position produces a fault. First-faulting instructionsgenerate exceptions only if a fault occurs in the first active element,i.e., the first element for which the predicate is enabled. Non-faultinginstructions suppress all exceptions that would otherwise have beengenerated from a fault in any element position.

In some embodiments processor 102 includes status and control registersor bits to that enable the management of faults and the resultingexceptions. For example, some embodiments include a Fault-statusRegister (FSR). The FSR is a bit-per-vector-element register that can beused to record that a faulting condition occurred at or before thecorresponding element position when the actual exception is suppressed.A bit being set in this register also indicates that any furtherexceptions generated by faults in the corresponding element are to besuppressed.

Some embodiments include a Fault Type Register (FTR). The FTR is aregister that indicates the type of fault that occurred at each elementposition when an actual exception is generated. Exceptions that havebeen masked by the FSR have no effect on this register.

Some embodiments include an Arithmetic Fault Mode (AFM) bit. This bitdetermines whether arithmetic instructions are to be processed inall-faulting or first-faulting mode.

Some embodiments include a Soft Terminate Mode (STM) bit. This bitdetermines how the OS should respond to normally fatal exceptions. Ifthe STM bit is set, the OS treats normally fatal exceptions in afirst-faulting manner; if the fatal exception comes from the firstactive position the program should be terminated. Otherwise, the OSshould set the appropriate FSR bits and resume execution.

Software Speculation

In the described embodiments, for software speculation, a compiler cangenerate code that presumes all vector elements can safely be processedin parallel. Then, at runtime, when the dynamic conditions thatdetermine actual parallelism are calculated, the vector size is reducedthrough predication to only the appropriate elements (i.e., the elementsthat can safely be processed in parallel). The reduction in vector sizeis due to a data dependency, which implies the remainder of thepresumptive element processing would likely not have occurred in thescalar program. Because of this, any faulting conditions in theseelements would also not have occurred in the scalar program. After thedata dependency is resolved, software-speculative code loops back andonce again presumes the remainder of the elements in the vector may allbe processed in parallel until determining that the remainder of theelements in the vector cannot be processed in parallel. (Note that inthis description, we use the term “fault” to mean an abnormal conditionthat would normally generate an exception in a scalar program. Inaddition, we use the term “exception” to mean an interruption in programexecution that is generated as a result of an unmasked fault.)

The above-described “first-faulting” and “non-faulting” instructionsprovide mechanisms to prevent faults from generating exceptions thatwould not be generated by the scalar program. Information about elementsthat have faulting conditions is used to restrict the width of thevector being processed, possibly to even fewer elements than dictated bydata dependencies. However the natural loop-back form ofsoftware-speculative code ensures that the faulting element eventuallybecomes the first active element, if the loop continues that far, thusguaranteeing that any legitimate exception occurs in the scalar codealso occurs in the described embodiments. These embodiments can alsoprevent the VM system from bringing in (i.e., retrieving from memory)pages that would not have been referenced by the correspondinginstruction(s) in the scalar program.

When an element in a first-faulting instruction encounters a faultingcondition, and that element is not the first active element, a bit isset in the Fault-status Register (FSR) corresponding to the faultingelement position. The Actual instruction can then consult this registerto determine which elements were actually processed without faults andreturn a predicate indicating those element positions.

Arithmetic operations can generate faults during speculative processing.By default, some code disables exceptions on floating-point arithmeticfaults. If a given program does not enable arithmetic faults, thedescribed embodiments may not take them into consideration (providehandling for such faults). Some programs, however, enable arithmeticfaults. For example, these programs can invoke floating-point fix-uphandlers for some faults. An example is programs that need to calculatesin(x)/x at x= 0. Such programs would enable the divide-by-zeroexception and fix-up the result of the calculation to be 1.0 when theexception is taken.

In some embodiments, a solution for the enabling of faults insoftware-speculative loops is to set the AFM bit to cause arithmeticinstructions to operate in a first-faulting mode of operation. Thisinsures only the necessary arithmetic exceptions are taken, but alsoreduces the effective parallelism whenever these exceptions are takenand causes the exceptions to be taken serially.

Some embodiments leave the AFM bit cleared, which causes arithmeticinstructions to operate in all-faulting mode. This method enables fullvector parallelism even in the presence of exceptions. An entire vectorof faults can be processed on one exception by having the exceptionhandler to consult the Fault Type register (FTR). This can reduce thenumber of exceptions taken, although it can also cause exceptions to betaken that would not have occurred in the scalar program. To ensure thatthe program is not incorrectly terminated by one of these extraneousexceptions, the Soft Terminate Mode (STM) bit should be set. Exceptionhandlers can then use this bit to determine how to handle potentiallyfatal exceptions. If the fatal exception was caused by the first activeelement, the program is terminated regardless of the state of the STMbit. However, if a fatal exception occurs in any subsequent position,the exception handler sets the corresponding bit in the FSR indicatingthat the exception was ignored. All bits in the FSR corresponding tosubsequent element positions should also be set. This effectively masksfurther exceptions from the faulting element and any subsequentelements.

When the data dependency causing software speculation is resolved inthese embodiments, the program may optionally employ the ActualFaultinstructions to ensure that fatal exceptions did not occur in elementpositions ahead of the dependency. These instructions ensure the programterminates if the scalar program would have terminated due to a fatalexception. If program termination is not desired, the ActualFaultinstruction can be omitted and the FSR cleared at the conclusion of theloop. Clearing the FSR at the conclusion of the loop eliminates theoverhead of checking for program termination inside the loop.

Loop Termination

In the described embodiments, unpredictable loop termination conditionscan result in the speculation that all elements are to be processeduntil it is determined that the loop actually terminates mid-vector. Inthese loops, the final vector being processed may read pages that thescalar program never read, potentially causing VM pages to be retrievedfrom disk unnecessarily, or possibly terminating the program based on aread from an illegal address. Consider the example below, where a fullvector is read from array A before the loop termination condition can becalculated, an operation that may read an illegal page that the scalarprogram would not have accessed—potentially leading to programtermination.

static double C[SIZE], B[SIZE], A[SIZE]; while (A[x] > 0) { C[x] = B[x];++x; }

The described embodiments provide solutions for loops that haveunpredictable termination conditions. However, some embodiments includemechanisms for avoiding these problems. For example, linkers in theseembodiments can pad the end of the statically and dynamically allocatedstorage areas by an amount proportional to the hardware vector length ofthe machine. For example, padding by 8 bytes per vector element wouldallow the example above to negate the effects of reading past the end ofthe array. Padding by one additional 4K page would allow structures upto 512 bytes to be linearly accessed speculatively on a processor 102that used 8-element vectors.

In these embodiments, simple padding does not absolve all loops of faultchecking, as not all loops address arrays in linear fashion. However, insome embodiments, the loop above could be implemented usingfirst-faulting read instructions in the loop to ensure that the loopdoes not read into an illegal page. While this behavior is correct, thisbehavior requires additional overhead to manipulate the predicates andloop until the vector is complete or the loop naturally terminates.

In these embodiments, using soft-termination mode, this loop can employan all-faulting vector read that potentially reads an illegal page. Ifthis occurs, rather than terminating the program, the operating systemsets bits in the FSR in the position that faulted, as well as allsubsequent positions, before resuming program execution. This ensuresthat these elements do not take unnecessary multiple exceptions as theprogram progresses. After the loop termination condition is calculated,the program can check to ensure that none of the active elements wereresponsible for the exception using the ActualFault instructions.

In these embodiments, during normal program execution, anillegal-address exception typically only occurs at loop terminationtime. Because of this, a compiler in these embodiments may choose toinsert the Actual instruction into the loop itself, for debugging orrobustness. Alternatively, the compiler may choose the place the Actualinstruction at the end of the loop, thus virtually eliminating theoverhead of fault checking and taking the risk that could result in aproper program termination not being recognized.

Instruction Definitions

The following section contains exemplary instructions used in thedescribed embodiments (i.e., that are included in Macroscalararchitecture). The described instructions demonstrate the concepts usedin implementing the Macroscalar architecture and therefore do notcomprise a complete list of the possible instructions. A person of skillin the art will recognize that these concepts may be implemented usingdifferent arrangements or types of instructions without departing fromthe spirit of the described embodiments.

Unlike conventional single-instruction-multiple-data (SIMD) coding, insome embodiments, Macroscalar code can combine vector variables withscalar registers or immediate values. Thus, in these embodiments,Macroscalar instructions can directly reference scalar registers andimmediate values without making unnecessary vector copies of them. Notethat this can help avoid unnecessary vector-register pressure within aloop because more vector registers can be available instead of beingrequired for making vector copies of scalars or immediate values.

We describe these instructions using a signed-integer data type.However, in alternative embodiments, other data types or formats areused. Moreover, although Macroscalar instructions may take vector,scalar, or immediate arguments in practice, only vector arguments areshown here to avoid redundancy.

The descriptions of the instructions reference vector elements with azero-based numbering system (i.e., element “0” is the first element).However, certain instructions, such as those involved in the processingof DIVs, express dependencies using 1-based element numbering, eventhough they are actually implemented using 0-based element numbering.Care should be taken to avoid confusing the language the results areexpressed in from the language used to implement the instructions.

For the purposes of explanation, the vector data type is defined as aC++ class containing an array v[ ] of elements that comprise the vector.Within these descriptions, the variable VECLEN indicates the size of thevector. In some embodiments, VECLEN is constant.

In the following examples, predication is communicated to theinstructions via two variables. The vector gPred is the predicate vectorthat affects the instruction and/or the assignment of the result vector.A scalar variable, gPredFlag, indicates whether gPred functions in apredication or zeroing capacity. This variable is set to 0 when azeroing predicate is being applied, or is set to 1 otherwise.Additionally, some instructions may reference gPred to affect theoperation of the instruction apart from the final assignment. If aninstruction is not predicated, then all elements are considered active,and the vector gPred contains all true indicators.

Note that the format of the following instruction definitions is astatement of the instruction type followed by a description of theinstruction that can include example code as well as one or more usageexamples.

General-Purpose Vector Instructions

The instructions in this category perform the usual assortment ofC-style (i.e., as found in the C programming language) arithmeticoperations in vectors in an agnostic, predicated manner. The describedembodiments contain some operations not usually found in vectorinstructions sets, such as integer division and modulo operators.

Vector-Vector Assignment

During vector assignment, active vector elements, as determined byoptional predication, are copied into a destination vector. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication.

Predication and zeroing are applied at the assignment of the resultvector. Final assignment of the result vector is an implicit or explicitpart of every instruction that produces a result. Note that theassignment operator performs this function where predication or zeroingis not performed explicitly by the instruction.

const Vector Vector::operator = (const Vector &val) { for (int x=0;x<VECLEN; ++x) if (gPred.v[x]) v[x] = val.v[x]; else v[x] &= −gPredFlag;// Not changed if predicated, 0 if zeroed return(*this); }

Examples

~p0; a = b; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b ={1 2 3 4 5 6 7 8} On Exit: a = {9 9 3 4 5 6 9 9} !p0; a = b; On Entry:p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b = {1 2 3 4 5 6 7 8} OnExit: a = {0 0 3 4 5 6 0 0}

Vector-Scalar Assignment

A scalar register or immediate value is copied into active elements ofthe destination vector, as determined by optional predication. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication.

const Vector & Vector::operator = (const _nt val) { int x; for (x=0;x<VECLEN; ++x) if (gPred.v[x]) v[x] = val; else v[x] &= −gPredFlag; //Not changed if predicated, 0 if zeroed return(*this); }

Examples

~p0; a = b; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b = 5On Exit: a = {9 9 5 5 5 5 9 9} !p0; a = b; On Entry: p0 = {0 0 1 1 1 1 00} a = {9 9 9 9 9 9 9 9} b = 5 On Exit: a = {0 0 5 5 5 5 0 0}

Scalar-Vector Assignment (Vector Cast to Scalar)

This instruction casts a vector of values into a scalar register. Onlythe last active element, as determined by optional predication, iscopied to the scalar destination. If no elements are active, thisinstruction returns the first element of the vector.

Vector::operator int (void) const { int x, rc; for (x=VECLEN−1; x>=0;−−x) // Locate last active element if (gPred.v[x]) break; rc = v[0]; //Use first element if there are no active ones if (x >= 0) rc = v[x];return(rc); }

Examples

~p0; a = int (b); On Entry: p0 = {0 0 1 1 1 1 0 0} a = 2 b = {1 2 3 4 56 7 8} On Exit: a = 6 !p0; a = int (b); On Entry: p0 = {0 0 1 1 1 1 0 0}a = 2 b = {1 2 3 4 5 6 7 8} On Exit: a = 6

VectorNeg

This instruction mathematically negates active vector elements. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction.

Vector VectorNeg(const Vector &ob) { Vector result; for (int x=0;x<VECLEN; ++x) result.v[x] = −ob.v[x]; return(result); }

Examples

~p0; a = −b; On Entry: p0 = {  0   0   1 1   1   1 0 0} a = {  9   9   99   9   9 9 9} b = {−3 −2 −1 0   1   2 3 4} On Exit: a = {  9   9   1 0−1 −2 9 9} !p0; a = −b; On Entry: p0 = {  0   0   1 1   1   1 0 0} a ={  9   9   9 9   9   9 9 9} b = {−3 −2 −1 0   1   2 3 4} On Exit: a ={  0   0   1 0 −1 −2 0 0}

VectorNot

This instruction logically negates active vector elements. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction.

Vector VectorNot(const Vector &ob) { Vector result; for (int x=0;x<VECLEN; ++x) result.v[x] = !ob.v[x]; return(result); }

Examples

~p0; a = VectorNot(b); On Entry: p0 = {0   0   1 1 1 1 0 0} a = {9   9  9 9 9 9 9 9} b = {0 −2 −1 0 1 2 3 0} On Exit: a = {9   9   0 1 0 0 99} !p0; a = VectorNot(b); On Entry: p0 = {0   0   1 1 1 1 0 0} a = {9  9   9 9 9 9 9 9} b = {0 −2 −1 0 1 2 3 0} On Exit: a = {0   0   0 1 0 00 0}

VectorInv

This instruction performs bitwise inversion active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. As shown below, in someembodiments, the instruction processes all elements equivalently;however, predication is performed by the assignment of the result, andshould be considered an integral part of this instruction.

Vector VectorInv(const Vector &ob) { Vector result; for (int x=0;x<VECLEN; ++x) result.v[x] = ~ob.v[x]; return(result); }

Examples

~p0; a = ~b; On Entry: p0 = {  0   0   1   1   1   1 0 0} a = {  9   9  9   9   9   9 9 9} b = {−3 −2 −1   0   1   2 3 4} On Exit: a = {  9  9   0 −1 −2 −3 9 9} !p0; a = ~b; On Entry: p0 = {  0   0   1 1   1   10 0} a = {  9   9   9 9   9   9 9 9} b = {−3 −2 −1 0   1   2 3 4} OnExit: a = {  0   0   1 0 −1 −2 0 0}

VectorAdd

This instruction performs addition on active vector elements. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication. In this implementation, the instructiontakes the result vector as an input and performs predication explicitly.

Vector VectorAdd (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] +val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if zeroed return(*result); }

Examples

~p0; a = b + c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 8 8 8 8 9 9}!p0; a = b + c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 8 8 8 8 0 0}

VectorSub

This instruction performs subtraction on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. This implementation of theinstruction takes the result vector as an input and performs predicationexplicitly.

Vector VectorSub (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] −val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if zeroed return(*result); }

Examples

~p0; a = b − c; On Entry: p0 = {0 0 1 1 1   1 0 0} a = {9 9 9 9 9   9 99} b = {8 7 6 5 4   3 2 1} c = {0 1 2 3 4   5 6 7} On Exit: a = {9 9 4 20 −2 9 9} !p0; a = b − c; On Entry: p0 = {0 0 1 1 1   1 0 0} a = {9 9 99 9   9 9 9} b = {8 7 6 5 4   3 2 1} c = {0 1 2 3 4   5 6 7} On Exit: a= {0 0 4 2 0 −2 0 0}

VectorMult

This instruction performs multiplication on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. This implementation of theinstruction takes the result vector as an input and performs predicationexplicitly.

Vector VectorMult (const Vector &ob, const Vector &val, Vector *result){ for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] *val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if zeroed return(*result); }

Examples

~p0; a = b * c; On Entry: p0 = {0 0  1  1  1  1 0 0} a = {9 9  9  9  9 9 9 9} b = {8 7  6  5  4  3 2 1} c = {0 1  2  3  4  5 6 7} On Exit: a ={9 9 12 15 16 15 9 9} !p0; a = b * c; On Entry: p0 = {0 0  1  1  1  1 00} a = {9 9  9  9  9  9 9 9} b = {8 7  6  5  4  3 2 1} c = {0 1  2  3  4 5 6 7} On Exit: a = {0 0 12 15 16 15 0 0}

VectorDiv

This instruction performs division on active vector elements. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication. This implementation of the instructiontakes the result vector as an input and performs predication explicitly.

Vector VectorDiv (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] /val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if Zeroed return(*result); }

Examples

~p0; a = b/c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b ={8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 3 1 1 0 9 9}!p0; a = b/c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b ={8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 3 1 1 0 0 0}

VectorMod

This instruction performs a modulus operation on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. This implementation of theinstruction takes the result vector as an input and performs predicationexplicitly.

Vector VectorMod (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] %val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if Zeroed return(*result); }

Examples

~p0; a = b % c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 0 2 0 3 9 9}!p0; a = b % c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 0 2 0 3 0 0}

VectorAnd

This instruction performs a bitwise “and” on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. This implementation of theinstruction takes the result vector as an input and performs predicationexplicitly.

Vector VectorAnd (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] &val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if zeroed return(*result); }

Examples

~p0; a = b & c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 2 1 4 1 9 9}!p0; a = b & c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 2 1 4 1 0 0}

VectorOr

This instruction performs a bitwise “or” on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. This implementation of theinstruction takes the result vector as an input and performs predicationexplicitly.

Vector VectorOr (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] |val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if zeroed return(*result); }

Examples

~p0; a = b | c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 6 7 4 7 9 9}!p0; a = b | c; On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b= {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 6 7 4 7 0 0}

VectorXor

This instruction performs a bitwise “xor” on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. This implementation of theinstruction takes the result vector as an input and performs predicationexplicitly.

Vector VectorXor (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x]{circumflex over ( )} val.v[x]); else result−>v[x] &= −gPredFlag; // Notchanged if predicated, 0 if zeroed return(*result); }

Examples

~p0; a = b {circumflex over ( )} c; On Entry: p0 = {0 0 1 1 1 1 0 0} a ={9 9 9 9 9 9 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a= {9 9 4 6 0 6 9 9} !p0; a = b {circumflex over ( )} c; On Entry: p0 ={0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 23 4 5 6 7} On Exit: a = {0 0 4 6 0 6 0 0}

VectorShL

This instruction performs a bitwise left-shift on active vectorelements. Inactive elements either remain unmodified, or are forced tozero, depending on the nature of the predication. This implementation ofthe instruction takes the result vector as an input and performspredication explicitly.

Vector VectorShL (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] <<val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if zeroed return(*result); }

Examples

~p0; a = b << c; On Entry: p0 = {0 0  1  1  1  1 0 0} a = {9 9  9  9  9 9 9 9} b = {8 7  6  5  4  3 2 1} c = {0 1  2  3  4  5 6 7} On Exit: a ={9 9 24 40 64 96 9 9} !p0; a = b << c; On Entry: p0 = {0 0  1  1  1  1 00} a = {9 9  9  9  9  9 9 9} b = {8 7  6  5  4  3 2 1} c = {0 1  2  3  4 5 6 7} On Exit: a = {0 0 24 40 64 96 0 0}

VectorShR

This instruction performs a bitwise right-shift on active vectorelements. Inactive elements either remain unmodified, or are forced tozero, depending on the nature of the predication. This implementation ofthe instruction takes the result vector as an input and performspredication explicitly.

Vector VectorShR (const Vector &ob, const Vector &val, Vector *result) {for (int x=0; x<VECLEN; ++x) if (gPred.v[x]) result−>v[x] = (ob.v[x] >>val.v[x]); else result−>v[x] &= −gPredFlag; // Not changed ifpredicated, 0 if zeroed return(*result); }

Examples

~p0; a = b {circumflex over ( )} c; On Entry: p0 = {0 0 1 1 1 1 0 0} a ={9 9 9 9 9 9 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a= {9 9 1 0 0 0 9 9} !p0; a = b {circumflex over ( )} c; On Entry: p0 ={0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 23 4 5 6 7} On Exit: a = {0 0 1 0 0 0 0 0}

VectorMin

This instruction performs a “min” operation on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. As shown below, in someembodiments, the instruction processes all elements equivalently;however, predication is performed by the assignment of the result, andshould be considered an integral part of this instruction.

Vector VectorMin(Vector &a, Vector &b) { Vector r; for (int x=0;x<VECLEN; ++x) if (a.v[x] < b.v[x]) r.v[x] = a.v[x]; else r.v[x] =b.v[x]; return(r); }

Examples

~p0; a = VectorMin(b,c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 99 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 2 34 3 9 9} !p0; a = VectorMin(b,c); On Entry: p0 = {0 0 1 1 1 1 0 0} a ={9 9 9 9 9 9 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a= {0 0 2 3 4 3 0 0}

VectorMax

This instruction performs a “max” operation on active vector elements.Inactive elements either remain unmodified, or are forced to zero,depending on the nature of the predication. As shown below, in someembodiments, the instruction processes all elements equivalently;however, predication is performed by the assignment of the result, andshould be considered an integral part of this instruction.

Vector VectorMax(Vector &a, Vector &b) { Vector r; for (int x=0;x<VECLEN; ++x) if (a.v[x] > b.v[x]) r.v[x] = a.v[x]; else r.v[x] =b.v[x]; return(r); }

Examples

~p0; a = VectorMax(b,c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 99 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 6 54 5 9 9} !p0; a = VectorMax(b,c); On Entry: p0 = {0 0 1 1 1 1 0 0} a ={9 9 9 9 9 9 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a= {0 0 6 5 4 5 0 0}

Predicate Testing and Manipulation

Some of the following instructions test and generate predicate vectors,setting processor processor status flages to reflect the results. If theinstruction generating the predicates is itself predicated, then theflags reflect the status of the active elements only. Each instructionmay set some or all of the flags, and different instructions setdifferent flags.

-   -   (ZF) NONE—Set if no active elements of the vector are true    -   (PF) ALL—Set if all of the active elements of the vector are        true    -   (SF) FIRST—Set if the first active element of the vector is true    -   (OF) LAST—Set if the last active element of the vector is true    -   (CF) CARRY—Set if the last active element of GeneratePredicates(        ) output is true        -   ANY—Logical inverse of NONE (!ZF)        -   ABOVE—This condition is calculated from ((CF == 0) && (ZF ==            0))        -   GREATER—Calculated from (ZF == 0) && (SF ==OF)        -   LOWER—Calculated from (SF != OF)

VectorTest

This instruction tests the input predicate vector and sets the processorstatus flags accordingly.

-   -   gNone NONE—Used to indicates that no active predicates have been        set    -   gFirst FIRST—Used to indicate that the first active predicates        is set    -   gLast LAST—Used to indicates that the last active predicate is        set    -   gAll ALL—Used to indicate that all active predicates are set    -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

void VectorTest(Vector &p) { int x,s,t; s = 0; for (x=0; x<VECLEN; ++x){ s = (gPred.v[x] && p.v[x]); if (gPred.v[x]) break; } gFirst = s; s =0; for (x=VECLEN−1; x>=0; −−x) { s = (gPred.v[x] && p.v[x]); if(gPred.v[x]) break; } gLast = s; s = t = 0; for (x=0; x<VECLEN; ++x) { t+= (gPred.v[x]); s += (gPred.v[x] && p.v[x]); } gNone = (s == 0); gAll =(s == t); return; }

VectorEQ

This instruction compares active vector elements and returns a resultvector indicating whether the elements of the first parameter are equalto elements of the second parameter. Inactive elements either remainunmodified, or are forced to zero, depending on the nature of thepredication. This implementation of the instruction takes the resultvector as an input and performs predication explicitly.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector VectorEQ (const Vector &ob, const Vector &val) { Vector result;for (int x=0; x<VECLEN; ++x) result.v[x] = (ob.v[x] == val.v[x]);VectorTest(result); return(result); }

Examples

~p0; a = (b == c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 99} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 0 0 1 09 9} !p0; a = (b == c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 99 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 0 01 0 0 0}

VectorGT

This instruction compares active vector elements and returns a resultvector indicating whether the elements of the first parameter aregreater-than elements of the second parameter. Inactive elements eitherremain unmodified, or are forced to zero, depending on the nature of thepredication. This implementation of the instruction takes the resultvector as an input and performs predication explicitly.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector VectorGT (const Vector &ob, const Vector &val) { Vector result;for (int x=0; x<VECLEN; ++x) result.v[x] = (ob.v[x] > val.v[x]);VectorTest(result); return(result); }

Examples

~p0; a = (b > c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9}b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 1 1 0 0 99} !p0; a = (b > c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 99} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 1 1 0 00 0}

VectorGE

This instruction compares active vector elements and returns a resultvector indicating whether the elements of the first parameter aregreater-than or equal-to elements of the second parameter. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication. This implementation of the instructiontakes the result vector as an input and performs predication explicitly.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector VectorGE (const Vector &ob, const Vector &val) { Vector result;for (int x=0; x<VECLEN; ++x) result.v[x] = (ob.v[x] >= val.v[x]);VectorTest(result); return(result); }

Examples

~p0; a = (b >= c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 99} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 1 1 1 09 9} !p0; a = (b >= c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 99 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 1 11 0 0 0}

VectorNEQ

This instruction compares active vector elements and returns a resultvector indicating whether the elements of the first parameter arenon-equal to elements of the second parameter. Inactive elements eitherremain unmodified, or are forced to zero, depending on the nature of thepredication. This implementation of the instruction takes the resultvector as an input and performs predication explicitly.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector VectorNEQ (const Vector &ob, const Vector &val) { Vector result;for (int x=0; x<VECLEN; ++x) result.v[x] = (ob.v[x] != val.v[x]);VectorTest(result); return(result); }

Examples

~p0; a = (b != c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 99} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {9 9 1 1 0 19 9} !p0; a = (b != c); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 99 9 9} b = {8 7 6 5 4 3 2 1} c = {0 1 2 3 4 5 6 7} On Exit: a = {0 0 1 10 1 0 0}

Continue

This instruction logically negates active vector elements. Inactiveelements either remain unmodified, or are forced to zero, depending onthe nature of the predication. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector Continue(Vector &p) { Vector r; for (int x=0; x<VECLEN; ++x)r.v[x] = !p.v[x]; VectorTest(r); return(r); }

Examples

~p0; a = Continue(b); On Entry: p0 = {0   0   1 1 1 1 0 0} a = {9   9  9 9 9 9 9 9} b = {0 −2 −1 0 1 2 3 0} On Exit: a = {9   9   0 1 0 0 99} !p0; a = Continue(b); On Entry: p0 = {0   0   1 1 1 1 0 0} a = {9   9  9 9 9 9 9 9} b = {0 −2 −1 0 1 2 3 0} On Exit: a = {0   0   0 1 0 0 00}

Break

This instruction returns a vector containing ones in all positionsbefore the first non-zero element position of its input, and zeroes allother positions. Predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector Break(Vector &p) { Vector r = 0; for (int x=0; x<VECLEN; ++x) {if (p.v[x]) break; r.v[x] = 1; } VectorTest(r); return(r); }

Examples

~p0; a = Break(b); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 99} b = {0 1 0 0 1 0 0 0} On Exit: a = {9 9 1 1 0 0 9 9} !p0; a =Break(b); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b = {01 0 0 1 0 0 0} On Exit: a = {0 0 1 1 0 0 0 0}

PreBreak

This instruction returns a vector containing zeroes in all positionsafter the first non-zero element position of its input, and ones in allother positions. Predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector PreBreak(Vector &p) { Vector r = 0; for (int x=0; x<VECLEN; ++x){ r.v[x] = 1; if (p.v[x]) break; } VectorTest(r); return(r); }

Examples

~p0; a = PreBreak(b); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 99 9} b = {0 1 0 0 1 0 0 0} On Exit: a = {9 9 1 1 1 0 9 9} !p0; a =PreBreak(b); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b ={0 1 0 0 1 0 0 0} On Exit: a = {0 0 1 1 1 0 0 0}

Remaining

This instruction sets all elements after the last non-zero element to 1,and all other elements to zero.

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.

Vector Remaining(Vector &p) { Vector r = 0; int x; for (x=VECLEN−1;x>=0; −−x) if (gPred.v[x] && p.v[x]) break; ++x; if (x == VECLEN) x = 0;for (; x<VECLEN; ++x) if (gPred.v[x]) r.v[x] = 1; VectorTest(r);return(r); }

Examples

~p0; a = Remaining(b); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 99 9} b = {0 1 0 1 0 0 1 0} On Exit: a = {9 9 0 0 1 1 9 9} !p0; a =Remaining(b); On Entry: p0 = {0 0 1 1 1 1 0 0} a = {9 9 9 9 9 9 9 9} b ={0 1 0 1 0 0 1 0} On Exit: a = {0 0 0 0 1 1 0 0}

GeneratePredicates

This instruction takes a dependency index vector, DIV, and generatespredicates corresponding to the next group of elements that may safelybe processed in parallel, given the previous group that was processedwhich is indicated by prey. If no elements of prey are active,predicates are generated for the first group of elements that may safelybe processed in parallel. If prey indicates that the final elements ofthe vector have been processed, then a result vector of inactivepredicates is returned. The definition of GeneratePredicates follows. Asshown below, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.(Note that GeneratePredicates uses the destination register as one ofits inputs.)

-   -   Flags: ZF—Set if no active elements are true.        -   Cleared otherwise.        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true        -   CF—Indicates Last or None (CF = OF ∥ ZF)

Vector GeneratePredicates(Vector &prev, Vector &index) { Vector r = 0;int x, pos; for (pos=VECLEN−1; pos>=0; −−pos) if (prev.v[pos]) break;for (++pos; pos<VECLEN; ++pos) // start at next active position if(gPred.v[pos]) break; for (x=pos; x<VECLEN; ++x) { if (index.v[x] > pos)// compare DIV (1- based) value to position (0-based) break; r.v[x] = 1;} VectorTest(r); gCarry = gLast || gNone; return(r); }

Examples

~p0; p1 = GeneratePredicates(p1,ix); On Entry: p0 = {1 1 1 1 1 1 1 0} p1= {0 0 0 0 0 0 0 0} ix = {0 0 0 2 1 3 4 0} On Exit1: p1 = {1 1 1 0 0 0 00} On Entry: p1 = {1 1 1 0 0 0 0 0} On Exit2: p1 = {0 0 0 1 1 1 0 0} OnEntry: p1 = {0 0 0 1 1 1 0 0} On Exit3: p1 = {0 0 0 0 0 0 1 0} !p0; p1 =GeneratePredicates(p1,ix); On Entry: p0 = {1 1 1 1 1 1 1 0} p1 = {0 0 00 0 0 0 0} ix = {0 0 0 2 1 3 4 0} On Exit1: p1 = {1 1 1 0 0 0 0 0} OnEntry: p1 = {1 1 1 0 0 0 0 0} On Exit2: p1 = {0 0 0 1 1 1 0 0} On Entry:p1 = {0 0 0 1 1 1 0 0} On Exit3: p1 = {0 0 0 0 0 0 1 0}

Actual

This instruction is employed by loops that use first-faultinginstructions in speculation, in order to determine which elements wereactually processed without masked faults, and narrow the vector sizedown to elements that are not affected by the masked faults. Thisinstruction calculates which elements specified by the predicateparameter p have been processed without any faulting conditions. This isaccomplished by consulting the fault-status register (see thedescription of the fault-status register, above), and turning off (i.e.,zeroing) elements ofp that have either exhibited a faulting condition,or are in positions higher than an element that has exhibited a faultingcondition. This instruction also resets the FSR registers to theirdefault condition.

-   -   Flags: ZF—Set if no active elements of the result are true.        Cleared otherwise        -   SF/OF/PF—Indicates whether the First/Last/All active            elements of the result are true.        -   CF—Indicates Last or None (CF = OF ∥ ZF)        -   FSR—Reset to default (no faulting conditions).

Vector Actual(const Vector &p) { Vector r = 0; int x; for (x=0;x<VECLEN; ++x) if (gFSR[x] && gPred.v[x]) break; else r.v[x] = p.v[x];VectorTest(r); gCarry = gLast || gNone; ResetFSR( ); return(r); }

Examples

~p0; a = Actual(b); On Entry: FSR = {0 0 0 0 0 1 0 0} p0 = {0 1 1 1 1 11 0} a = {9 9 9 9 9 9 9 9} b = {0 1 0 1 1 1 0 0} On Exit: a = {9 1 0 1 10 0 9} FSR = {0 0 0 0 0 0 0 0} !p0; a = Actual(b); On Entry: FSR = {0 00 0 0 1 0 0} p0 = {0 1 1 1 1 1 1 0} a = {9 9 9 9 9 9 9 9} b = {0 1 0 1 11 0 0} On Exit: a = {0 1 0 1 1 0 0 0} FSR = {0 0 0 0 0 0 0 0}

ActualFault1

This instruction is employed by loops that employ All-Faultinginstructions in speculation and use Soft-Terminate Mode to avoidpremature termination of the program. The ActualFault1 instruction isused where code is expected to execute when the loop terminationcondition is true, such as Do-While loops or after a PreBreakinstruction. This instruction checks the loop-termination predicate pagainst the FSR and generates an exception if program should beterminated. This instruction also resets the FSR to its default state.This instruction does not modify any flags or registers.

-   -   Flags: FSR—Reset to default state.

void ActualFault1(const Vector &p) { int x,s; for (s=0; s<VECLEN; ++s)if (gPred.v[s]) break; for (x=s; x<VECLEN; ++x) if (gPred.v[x] &&gFSR[x]) { if (p.v[x]) TriggerFault(“ActualFault1”); break; } ResetFSR(); return; }

ActualFault2

This instruction is employed by loops that employ All-Faultinginstructions in speculation and use Soft-Terminate Mode to avoidpremature termination of the program. The ActualFault2 instruction isused where execution is not expected when the loop termination conditionis true, such as While-Do loops or after a Break instruction. Thisinstruction checks the loop-termination predicate p against the FSR andgenerates an exception if program should be terminated. This instructionalso resets the FSR to its default state. This instruction does notmodify any flags or registers.

-   -   Flags: FSR—Reset to default state.

void ActualFault2(const Vector &p) { int x,s; for (s=0; s<VECLEN; ++s)if (gPred.v[s])  break; for (x=s; x<VECLEN; ++x) if (gPred.v[x] &&gFSR[x]) { if (x > s) if (p.v[x−1] && gPred.v[x−1])TriggerFault(“ActualFault2” ); if (p.v[x]) TriggerFault(“ActualFault2”);break; } ResetFSR( ); return; }

Hazard-Checking Instructions

The hazard-checking instructions enable a compiler to generate code thatpartitions the vector at run-time according to dynamic data andcontrol-flow hazards that are unpredictable at compile time.

CheckHazardP

This instruction examines two vectors of memory addresses (or arrayindices), corresponding to two memory operations, for potential datadependencies through memory. The vector first holds addresses for thefirst memory operation, and the vector second holds addresses for thesecond operation. The predicate pred indicates which elements of secondare to be operated upon. This instruction checks for addresses thatoverlap between each element of first and lower-numbered elements ofsecond. In the case of multiple matches, only the highest-numberedposition is recorded. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction.

The 1-based element position corresponding to the iteration thatgenerates the data that is depended upon is stored in the destinationvector at the element position corresponding to the iteration that isdependent upon the data. If no data dependency exists, a zero is storedin the destination vector at the element position corresponding to theiteration that does not have the dependency. Variants of thisinstruction should account for overlap between various sizes of datatypes.

The CheckHazardP instruction only supports zeroing predication.Non-zeroing predication is not allowed.

Vector CheckHazardP(Vector &first, Vector &second, Vector &p) { Vectorresult = 0; int x,y; for (x=0; x<VECLEN; ++x) for (y=0; y<x; ++y)  if(p.v[y]) if (OVERLAP(first.v[x], second.v[y])) result.v[x] = y + 1;return (result); }

Examples

!p0; a = CheckHazardP(b,c,p1); On Entry: p0 = {1 1 1 1 1 1 0 0} a = {9 99 9 9 9 9 9} b = {1 2 1 2 2 1 5 6} c = {1 1 2 2 4 5 6 7} p1 = {1 1 0 1 11 1 1} On Exit: a = {0 0 2 0 4 2 0 0}

CheckHazardPx

This instruction examines two vectors of memory addresses (or arrayindices), corresponding to two memory operations, for potential datadependencies through memory. The vector first holds addresses for thefirst memory operation, and vector second holds addresses for the secondoperation. The predicate pred indicates which elements of second are tobe operated upon. This instruction checks for addresses that overlapbetween each element of first, and lesser-or-equal-numbered elements ofsecond. In the case of multiple matches, only the highest-numberedposition is recorded. In the case of a match against an equal-numberedelement position, the dependency is recorded in the next-highestposition in the result. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction.

The 1-based element position corresponding to the iteration thatgenerates the data that is depended upon is stored in the destinationvector at the element position corresponding to the iteration that isdependent upon the data. If no data dependency exists, a zero is storedin the destination vector at the element position corresponding to theiteration that does not have the dependency. Variants of thisinstruction should account for overlap between various sizes of datatypes.

The CheckHazardPX instruction only supports zeroing predication.Non-zeroing predication is not allowed.

Vector CheckHazardPx(Vector &first, Vector &second, Vector &p) { Vectorresult = 0; int x,y; for (x=1; x<VECLEN; ++x) { for (y=0; y<x; ++y) if(p.v[y]) if (OVERLAP(first.v[x],  second.v[y])) result.v[x] = y + 1; if((OVERLAP(first.v[x−1], second.v[x− 1]) && p.v[x−1])) result.v[x] = x; }return(result); }

Examples

!p0; a = CheckHazardPx(b,c,p1); On Entry: p0 = {1 1 1 1 1 1 1 0} a = {99 9 9 9 9 9 9} b = {1 1 2 2 5 6 3 6} c = {1 2 2 3 4 5 6 6} p1 = {0 1 1 11 1 1 1} On Exit: a = {0 0 2 3 0 0 4 0}

ConditionalStop

This instruction takes the scalar parameter mode, which indicates anynumber of four possible transitions between true and false values ofadjacent elements in predicate p that imply data dependencies. Theparameter mode is a 4-bit field, the bits of which are defined asfollows:

-   -   kTF—Implies a loop-carried dependency from an iteration for        which the predicate is true, to the subsequent iteration for        which the value of the predicate is false.    -   kFF—Implies a loop-carried dependency from an iteration for        which the predicate is false, to the subsequent iteration for        which the value of the predicate is false.    -   kFT—Implies a loop-carried dependency from an iteration for        which the predicate is false, to the subsequent iteration for        which the value of the predicate is true.    -   kTT—Implies a loop-carried dependency from an iteration for        which the predicate is true, to the subsequent iteration for        which the value of the predicate is true.

The 1-based (i.e., considering the vector as starting with element “1”)element position corresponding to the iteration that generates the datathat is depended upon is stored in the destination vector at the elementposition corresponding to the iteration that depends on the data. If nodata dependency exists, a value of 0 is stored in the destination vectorat that element. Note that the ConditionalStop instruction supports onlyzeroing; non-zeroing predication is illegal.

Vector ConditionalStop(Vector &p, int mode) { Vector r = 0; for (intx=1; x<VECLEN; ++x) // Skip the first element { if (p.v[x−1] == 0 &&p.v[x] == 0) { if (mode & kFF) r.v[x] = x; } else if (p.v[x−1] == 0 &&p.v[x] == 1) { if (mode & kFT) r.v[x] = x; } else if (p.v[x−1] == 1 &&p.v[x] == 0) { if (mode & kTF) r.v[x] = x; } else { if (mode & kTT)r.v[x] = x; } } return(r); }

Examples

!p0; a = ConditionalStop(b, kTF|kFT); On Entry: p0 = {0 0 1 1 1 1 0 0} a= {9 9 9 9 9 9 9 9} b = {0 1 0 1 1 0 1 0} On Exit: a = {0 0 2 3 0 5 0 0}

Value Copy Propagation PropagatePostT

This instruction propagates the value of active elements in s, asdetermined by predicate p, to subsequent inactive elements in thedestination. Active elements remain unchanged, and any inactive elementsthat precede the first active element also remain unchanged. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that the PropagatePostT uses the destination register as one if itsinputs.

Vector PropagatePostT(Vector &d, Vector &s, Vector &p) { Vector r = 0;int x,y; for (x=0; x<VECLEN; ++x) // Until first active predicate,preserve dest { y = x; r.v[x] = d.v[x]; if (gPred.v[x] && p.v[x]) break;} for (++x; x<VECLEN; ++x) if (gPred.v[x] && p.v[x]) { r.v[x] = d.v[x];// While predicate == 1, preserve dest y = x; } else r.v[x] = s.v[y]; //While predicate == 0, copy final from source return (r); }

Examples

~p0; a = PropagatePostT(a,b,p1); On Entry: p0 = {0 1 1 1 1 1 1 1} a = {89 A B C D E F} b = {0 1 2 3 4 5 6 7} p1 = {0 0 1 1 0 0 1 0} On Exit: a ={8 9 A B 3 3 E 6} !p0; a = PropagatePostT(a,b,p1); On Entry: p0 = {0 1 11 1 1 1 1} a = {8 9 A B C D E F} b = {0 1 2 3 4 5 6 7} p1 = {0 0 1 1 0 01 0} On Exit: a = {0 9 A B 3 3 E 6}

PropagatePriorF

This instruction propagates the value of the inactive elements of src,as determined by predicate p, into subsequent active elements. Inactiveelements are copied from src to the destination. If the first element ofpredicate is active, then the last element of src is propagated to thatposition. As shown below, in some embodiments, the instruction processesall elements equivalently; however, predication is performed by theassignment of the result, and should be considered an integral part ofthis instruction.

Vector PropagatePriorF(Vector &src, Vector &p) {   Vector r = 0;   intx,y;   y = VECLEN − 1; // y is position of element to   propagate   for(x=0; x<VECLEN; ++x) // Destination unchanged   until first activepredicate   {     if (gPred.v[x] && p.v[x])       break;     r.v[x] =src.v[x];     y = x;   }   for (; x<VECLEN; ++x)   {     if (gPred.v[x]&& p.v[x])     {       r.v[x] = src.v[y]; // Propagate on       activepredicates     }     else     {       r.v[x] = src.v[x]; // Copy oninactive       predicates       y = x;     }   }   return(r); }

Examples

~p0; a = PropagatePriorF(b,p1); On Entry: p0 = {0 1 1 1 1 1 1 0} a = {99 9 9 9 9 9 9} b = {1 2 3 4 5 6 7 8} p1 = {0 0 1 1 0 0 1 0} On Exit: a ={9 2 2 2 5 6 6 9} On Entry: p0 = {1 1 1 1 1 1 1 0} a = {9 9 9 9 9 9 9 9}b = {1 2 3 4 5 6 7 8} p1 = {1 1 0 1 0 0 1 1} On Exit: a = {8 8 3 3 5 6 69} !p0; a = PropagatePriorF(b,p1); On Entry: p0 = {0 1 1 1 1 1 1 0} a ={9 9 9 9 9 9 9 9} b = {1 2 3 4 5 6 7 8} p1 = {0 0 1 1 0 0 1 0} On Exit:a = {0 2 2 2 5 6 6 0} On Entry: p0 = {1 1 1 1 1 1 1 0} a = {9 9 9 9 9 99 9} b = {1 2 3 4 5 6 7 8} p1 = {1 1 1 1 0 0 1 1} On Exit: a = {8 8 3 35 6 6 0}

CopyPropagate

This instruction copies active elements, as determined by p, from src tothe destination register. Active elements are propagated into inactiveelements in the process. Any initial inactive elements remain unchangedin the destination. As shown below, in some embodiments, the instructionprocesses all elements equivalently; however, predication is performedby the assignment of the result, and should be considered an integralpart of this instruction. Note that CopyPropagate uses the destinationregister as one of its inputs.

Vector CopyPropagate(Vector &dest, Vector &src, Vector &p) {   Vector r;  int x,y;   y = 0;   for (x=0; x<VECLEN; ++x) // Find first active  pred, dest unchanged     if (p.v[x] && gPred.v[x])       break;    else     {       r.v[x] = dest.v[x];       y = x;     }   for (;x<VECLEN; ++x) // If active: copy. If   inactive: propagate   {     if(p.v[x] && gPred.v[x])     {       r.v[x] = src.v[x];       y = x;     }    else       r.v[x] = src.v[y];   }   return(r); }

Examples

~p0; a = CopyPropagate(a,b,p1); On Entry: p0 = {0 1 1 1 1 1 1 1} a = {99 9 9 9 9 9 9} b = {1 2 3 4 5 6 7 8} p1 = {0 0 1 1 0 0 1 0} On Exit: a ={9 9 3 4 4 4 7 7} !p0; a = CopyPropagate(a,b,p1); On Entry: p0 = {0 1 11 1 1 1 1} a = {9 9 9 9 9 9 9 9} b = {1 2 3 4 5 6 7 8} p1 = {0 0 1 1 0 01 0} On Exit: a = {0 9 3 4 4 4 7 7}

ShiftInRightP

This instruction shifts vector elements to the right, or propagatesactive values, as determined by input predicate p. The first activeelement receives the input scalar j. The resulting vector is stored tothe destination register. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction.

Vector ShiftInRightP(int j, const Vector &v, int &p) {   Vector r = 0;  int x;   r = v;   for(x=0; x<VECLEN; ++x)     if(gPred.v[x])      break;   r.v[x] = j;   for (++x; x<VECLEN; ++x)   {     if(gPred.v[x] && p.v[x−1])       r.v[x] = v.v[x−1];     else if(gPred.v[x])       r.v[x] = r.v[x−1];     else       r.v[x] = v.v[x−1];  }   return(r); }

Examples

~p0; a = ShiftInRightP(j,b,p1); On Entry: j = 9 p0 = {0 0 1 1 1 1 1 1} a= {1 2 3 4 5 6 7 8} p1 = {0 1 1 1 0 0 1 1} On Exit: a = {1 2 9 3 4 4 47} !p0; a = ShiftInRightP(j,b,p1); On Entry: j = 9 p0 = {0 0 1 1 1 1 11} a = {1 2 3 4 5 6 7 8} p1 = {0 1 1 1 0 0 1 1} On Exit: a = {0 0 9 3 44 4 7}

ShiftInRight

This instruction shifts vector elements to the right, or propagatesactive values, as determined by input predicate p. The first elementreceives the input scalar j. The resulting vector is stored to thedestination register. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction.

Vector ShiftInRight(int j, const Vector &v, int &p) {   Vector r = 0;  int x;   r.v[0] = j;   for (x=1; x<VECLEN; ++x)   {     if (gPred.v[x]&& p.v[x−1])       r.v[x] = v.v[x−1];     else if (gPred.v[x])      r.v[x] = r.v[x−1];     else       r.v[x] = v.v[x−1];   }  return(r); }

Examples

~p0; a = ShiftInRightP(j,b,p1); On Entry: j = 9 p0 = {0 0 1 1 1 1 1 1} a= {1 2 3 4 5 6 7 8} p1 = {0 1 1 1 0 0 1 1} On Exit: a = {1 2 9 3 4 4 47} !p0; a = ShiftInRightP(j,b,p1); On Entry: j = 9 p0 = {0 0 1 1 1 1 11} a = {1 2 3 4 5 6 7 8} p1 = {0 1 1 1 0 0 1 1} On Exit: a = {0 0 9 3 44 4 7}

ShiftRight

This instruction shift vector elements to the right, populating thefirst element with the input scalar j. The resulting vector is stored tothe destination register.

Vector ShiftInRight(int j, const Vector &v) {   Vector r = 0;   int x;  r.v[0] = j;   for (++x; x<VECLEN; ++x)   {     r.v[x] = v.v[x−1];   }  return(r); }

Examples

~p0; a = ShiftRight(j,b); On Entry: j = 9 p0 = {1 1 1 0 0 1 1 1} a = {AA A A A A A A} b = {1 2 3 4 5 6 7 8} On Exit: a = {9 1 2 A A 5 6 7} !p0;a = ShiftRight(j,b); On Entry: j = 9 p0 = {1 1 1 0 0 1 1 1} a = {A A A AA A A A} b = {1 2 3 4 5 6 7 8} On Exit: a = {9 1 2 0 0 5 6 7}

SelectLast

Use of the ShiftInRightP instruction often requires that the shifted-outelement be captured to be shifted in during the next pass. Normally thisis accomplished using a simple scalar cast prior to the use ofShiftInRightP. In cases where the shifted-out value may come from morethan one vector under control of predication, the SelectLast instructionis used to capture the last element from one of two vectors. Note thatthe final active element determines which element position p isevaluated for. This instruction is also useful at the end of nestedloops and when consolidating vectors back into scalar variables at theend of a loop, or within loops that call functions that may referenceglobal scalar variables.

int SelectLast(cont Vector &v1, const Vector &v2, const Vector &p) {  Vector r = 0;   int x;   for (x=VECLEN−1; x>=0; −−x)     if(gPred.v[x])       break;   if (x >= 0)     if (p.v[x])       r =v2.v[x];     else       r = v1.v[x];   return(r); }

Examples

~p0; a = SelectLast(b,c,p1); On Entry: a = 9 p0 = {1 1 0 0 1 1 0 0} b ={1 2 3 4 5 6 7 8} c = {9 8 7 6 5 4 3 2} p1 = {0 0 1 1 1 0 0 1} On Exit:a = 6 !p0; a = SelectLast(b,c,p1); On Entry: a = 9 p0 = {1 1 0 0 1 1 00} b = {1 2 3 4 5 6 7 8} c = {9 8 7 6 5 4 3 2} p1 = {0 0 1 1 1 1 0 1} OnExit: a = 4

SelectFirst

The SelectFirst instruction selects the first actively predicated fromeither v1 or v2, as determined by the value of corresponding element inp. This instruction is useful at the end of nested loops and whenconsolidating vectors back into scalar variables at the end of a loop,or within loops that call functions that may reference global scalarvariables.

int SelectFirst(cont Vector &v1, const Vector &v2, const Vector &p) {  Vector r = 0;   int x;   for (x=0; x<VECLEN; ++x)     if (gPred.v[x])      break;   if (p.v[x])     r = v2.v[x];   else     r = v1.v[x];  return(r); }

Examples

~p0; a = SelectFirst(b,c,p1); On Entry: a = 9 p0 = {0 0 1 1 0 0 1 1} b ={1 2 3 4 5 6 7 8} c = {9 8 7 6 5 4 3 2} p1 = {0 0 0 1 1 0 0 1} On Exit:a = 3 !p0; a = SelectFirst(b,c,p1); On Entry: a = 9 p0 = {0 0 1 1 0 0 11} b = {1 2 3 4 5 6 7 8} c = {9 8 7 6 5 4 3 2} p1 = {0 0 1 1 1 1 0 1} OnExit: a = 7

Associative Reduction Operations

By encapsulating conditionally executed associative reductionoperations, these instructions allow the compiler to eliminate someloop-carried dependencies altogether, replacing them with the singlevector instruction that can be executed in parallel. Each of theseinstructions comes in two variants. One variant produces a vector ofresult values corresponding to the reduction value just before theoperation is applied. The other variant produces a vector of resultvalues corresponding to the reduction value just after the operation isapplied. Both variants are often needed to vectorize loops.

IncrPropagate1

Using the value of the first active element in s as a basis, thisinstruction cumulatively increments this basis for every active elementspecified by predicate p. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues prior to being incremented into the destination register. Asshown below, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.

Vector IncrPropagate1(Vector &s, Vector &p) {   Vector r;   int x,v;  for (x=0; x<VECLEN; ++x)   {     if (gPred.v[x] && p.v[x])     {      v = s.v[x];       break;     }     r.v[x] = s.v[x];   }   for (;x<VECLEN; ++x)   {     r.v[x] = v;     if (gPred.v[x] && p.v[x])      ++v;   }   return(r); }

Examples

~p0; a = IncrPropagate1(b,p1); On Entry: p0 = {1 1 1 1 1 1 1 0} a = {9 99 9 9 9 9 9} b = {3 3 3 3 3 3 3 3} p1 = {0 1 1 0 0 1 1 0} On Exit: a ={3 3 4 5 5 5 6 9} !p0; a = IncrPropagate1(b,p1); On Entry: p0 = {1 1 1 11 1 1 0} a = {9 9 9 9 9 9 9 9} b = {3 3 3 3 3 3 3 3} p1 = {0 1 1 0 0 1 10} On Exit: a = {3 3 4 5 5 5 6 0}

IncrPropagate2

Using the value of the first active element in s as a basis, thisinstruction cumulatively increments this basis for every active elementspecified by predicate p. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues after being incremented into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.

Vector IncrPropagate2(Vector &s, Vector &p) {   Vector r;   int x,v;  for (x=0; x<VECLEN; ++x)   {     if (gPred.v[x] && p.v[x])     {      v = s.v[x];       break;     }     r.v[x] = s.v[x];   }   for (;x<VECLEN; ++x)   {     if (gPred.v[x] && p.v[x])       ++v;     r.v[x] =v;   }   return(r); }

Examples

~p0; a = IncrPropagate2(b,p1); On Entry: p0 = {1 1 1 1 1 1 1 0} a = {9 99 9 9 9 9 9} b = {3 3 3 3 3 3 3 3} p1 = {0 1 1 0 0 1 1 0} On Exit: a ={3 4 5 5 5 6 7 9} !p0; a = IncrPropagate2(b,p1); On Entry: p0 = {1 1 1 11 1 1 0} a = {9 9 9 9 9 9 9 9} b = {3 3 3 3 3 3 3 3} p1 = {0 1 1 0 0 1 10} On Exit: a = {3 4 5 5 5 6 7 0}

DecrPropagate1

Using the value of the first active element in s as a basis, thisinstruction cumulatively decrements this basis for every active elementspecified by predicate p. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues prior to being decremented into the destination register. Asshown below, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.

Vector DecrPropagate1(Vector &s, Vector &p) {   Vector r;   int x,v;  for (x=0; x<VECLEN; ++x)   {     if (gPred.v[x] && p.v[x])     {      v = s.v[x];       break;     }     r.v[x] = s.v[x];   }   for (;x<VECLEN; ++x)   {     r.v[x] = v;     if (gPred.v[x] && p.v[x])      −−v;   }   return(r); }

Examples

~p0; a = DecrPropagate1(b,p1); On Entry: p0 = {1 1 1 1 1 1 1 0} a = {9 99 9 9 9 9 9} b = {7 7 7 7 7 7 7 7} p1 = {0 1 1 0 0 1 1 0} On Exit: a ={7 7 6 5 5 5 4 9} !p0; a = DecrPropagate1(b,p1); On Entry: p0 = {1 1 1 11 1 1 0} a = {9 9 9 9 9 9 9 9} b = {7 7 7 7 7 7 7 7} p1 = {0 1 1 0 0 1 10} On Exit: a = {7 7 6 5 5 5 4 0}

DecrPropagate2

Using the value of the first active element in s as a basis, thisinstruction cumulatively decrements this basis for every active elementspecified by predicate p. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues after being decremented into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.

Vector DecrPropagate2(Vector &s, Vector &p) {   Vector r;   int x,v;  for (x=0; x<VECLEN; ++x)   {     if (gPred.v[x] && p.v[x])     {      v = s.v[x];       break;     }     r.v[x] = s.v[x];   }   for (;x<VECLEN; ++x)   {     if (gPred.v[x] && p.v[x])       −−v;     r.v[x] =v;   }   return(r); }

Examples

~p0; a = DecrPropagate2(b,p1); On Entry: p0 = {1 1 1 1 1 1 1 0} a = {9 99 9 9 9 9 9} b = {7 7 7 7 7 7 7 7} p1 = {0 1 1 0 0 1 1 0} On Exit: a ={7 6 5 5 5 4 3 9} !p0; a = DecrPropagate2(b,p1); On Entry: p0 = {1 1 1 11 1 1 0} a = {9 9 9 9 9 9 9 9} b = {7 7 7 7 7 7 7 7} p1 = {0 1 1 0 0 1 10} On Exit: a = {7 6 5 5 5 4 3 0}

RunningSum1P

Using the value of the first active element in a as a basis, thisinstruction adds the cumulative amounts specified by active elements inb to this basis. Predicate p determines which elements participate inthe accumulation of addends. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues prior to being added into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that the RunningSum1P instruction uses the destination register asone of its inputs.

Vector RunningSum1P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if ((gPred.v[x]) && (p.v[x]))       s += b.v[x];   }  return(r); }

Examples

~p0; a = RunningSum1P(a,b,p1); On Entry: p0 = {1 1 1 1 1 0 1 0} a = {0 12 3 4 5 6 7} b = {1 2 3 4 5 6 7 8} p1 = {1 0 1 0 1 1 1 0} On Exit: a ={0 1 1 4 4 5 9 7} !p0; a = RunningSum1P(a,b,p1); On Entry: p0 = {1 1 1 11 0 1 0} a = {0 1 2 3 4 5 6 7} b = {1 2 3 4 5 6 7 8} p1 = {1 0 1 0 1 1 10} On Exit: a = {0 1 1 4 4 0 9 0}

RunningSum2P

Using the value of the first active element in a as a basis, thisinstruction adds the cumulative amounts specified by active elements inb to this basis. Predicate p determines which elements participate inthe accumulation of addends. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues after being added into the destination register. As shown below,in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that the RunningSum2P instruction uses the destination register asone of its inputs.

Vector RunningSum2P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))       s += b.v[x];     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningSum2P(a,b,p1); On Entry: p0 = {1 1 1 1 1 0  1 0} a = {01 2 3 4 5  6 7} b = {1 2 3 4 5 6  7 8} p1 = {1 0 1 0 1 1  1 0} On Exit:a = {1 1 4 4 9 5 16 7} !p0; a = RunningSum2P(a,b,p1); On Entry: p0 = {11 1 1 1 0  1 0} a = {0 1 2 3 4 5  6 7} b = {1 2 3 4 5 6  7 8} p1 = {1 01 0 1 1  1 0} On Exit: a = {1 1 4 4 9 0 16 0}

RunningShift1R

Using the value of the first active element in a as a basis, thisinstruction right-shifts this basis by the cumulative number of bitsspecified by active elements in b. Predicate p determines which elementsparticipate in the accumulation of shift-counts. Inactive elements priorto the first active elements are copied into the destination. Thisinstruction stores the values prior to being shifted into thedestination register. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction. Note that the RunningShift1Rinstruction uses the destination register as one of its inputs.

Vector RunningShift1R(const Vector &a, const Vector &b, const Vector &p){   Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if(gPred.v[x] && p.v[x])     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if (gPred.v[x] && p.v[x])       s >>= b.v[x];   }  return(r); }

Examples

~p0; a = RunningShift1R(a,b,p1); On Entry: p0 = { 1  1  1  1  1  1  1 0} a = {64 64 64 64 64 64 64 64} b = { 0  1  1  2  2  3  3  4} p1 = { 0 1  1  0  0  1  1  0} On Exit: a = {64 64 32 16 16 16  2 64} !p0; a =RunningShift1R(a,b,p1); On Entry: p0 = { 1  1  1  1  1  1  1  0} a = {6464 64 64 64 64 64 64} b = { 0  1  1  2  2  3  3  4} p1 = { 0  1  1  0  0 1  1  0} On Exit: a = {64 64 32 16 16 16  2  0}

RunningShift2R

Using the value of the first active element in a as a basis, thisinstruction right-shifts this basis by the cumulative number of bitsspecified by active elements in b. Predicate p determines which elementsparticipate in the accumulation of shift-counts. Inactive elements priorto the first active elements are copied into the destination. Thisinstruction stores the values after being shifted into the destinationregister. As shown below, in some embodiments, the instruction processesall elements equivalently; however, predication is performed by theassignment of the result, and should be considered an integral part ofthis instruction. Note that the RunningShift2R instruction uses thedestination register as one of its inputs.

Vector RunningShift2R(const Vector &a, const Vector &b, const Vector &p){   Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if(gPred.v[x] && p.v[x])     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if(gPred.v[x] && p.v[x])       s >>= b.v[x];     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningShift2R(a,b,p1); On Entry: p0 = { 1  1  1  1  1  1  1 0} a = {64 64 64 64 64 64 64 64} b = { 0  1  1  2  2  3  3  4} p1 = { 0 1  1  0  0  1  1  0} On Exit: a = {64 32 16 16 16  2  0 64} !p0; a =RunningShift2R(a,b,p1); On Entry: p0 = { 1  1  1  1  1  1  1  0} a = {6464 64 64 64 64 64 64} b = { 0  1  1  2  2  3  3  4} p1 = { 0  1  1  0  0 1  1  0} On Exit: a = {64 32 16 16 16  2  0  0}

RunningShift1L

Using the value of the first active element in a as a basis, thisinstruction left-shifts this basis by the cumulative number of bitsspecified by active elements in b. Predicate p determines which elementsparticipate in the accumulation of shift-counts. Inactive elements priorto the first active elements are copied into the destination. Thisinstruction stores the values prior to being shifted into thedestination register. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction. Note that the RunningShift1Linstruction uses the destination register as one of its inputs.

Vector RunningShift1L(const Vector &a, const Vector &b, const Vector &p){   Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if(gPred.v[x] && p.v[x])     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if (gPred.v[x] && p.v[x])       s <<= b.v[x];   }  return(r); }

Examples

~p0; a = RunningShift1L(a,b,p1); On Entry: p0 = {1 1 1 1 1 1  1 0} a ={0 1 2 3 4 5  6 7} b = {0 1 1 1 2 2  2 3} p1 = {0 1 1 0 0 1  1 0} OnExit: a = {0 1 2 4 4 4 16 7} !p0; a = RunningShift1L(a,b,p1); On Entry:p0 = {1 1 1 1 1 1  1 0} a = {0 1 2 3 4 5  6 7} b = {0 1 1 1 2 2  2 3} p1= {0 1 1 0 0 1  1 0} On Exit: a = {0 1 2 4 4 4 16 0}

RunningShift2L

Using the value of the first active element in a as a basis, thisinstruction left-shifts this basis by the cumulative number of bitsspecified by active elements in b. Predicate p determines which elementsparticipate in the accumulation of shift-counts. Inactive elements priorto the first active elements are copied into the destination. Thisinstruction stores the values after being shifted into the destinationregister. As shown below, in some embodiments, the instruction processesall elements equivalently; however, predication is performed by theassignment of the result, and should be considered an integral part ofthis instruction. Note that the RunningShift2L instruction uses thedestination register as one of its inputs.

Vector RunningShift2L(const Vector &a, const Vector &b, const Vector &p){   Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if(gPred.v[x] && p.v[x])     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if(gPred.v[x] && p.v[x])       s <<= b.v[x];     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningShift2L(a,b,p1); On Entry: p0 = {1 1 1 1 1  1  1 0} a ={0 1 2 3 4  5  6 7} b = {0 1 1 1 2  2  2 3} p1 = {0 1 1 0 0  1  1 0} OnExit: a = {0 2 4 4 4 16 64 7} !p0; a = RunningShift2L(a,b,p1); On Entry:p0 = {1 1 1 1 1  1  1 0} a = {0 1 2 3 4  5  6 7} b = {0 1 1 1 2  2  2 3}p1 = {0 1 1 0 0  1  1 0} On Exit: a = {0 2 4 4 4 16 64 0}

RunningMin1P

Using the value of the first active element in a as a basis, theRunningMin1P instruction calculates the cumulative minima with activeelements in b from this basis. Predicate p determines which elements arecompared in determining the cumulative minima. Inactive elements priorto the first active elements are copied into the destination. Thisinstruction stores the values prior to being compared into thedestination register. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction. Note that RunningMin1P uses thedestination register as one of its inputs.

Vector RunningMin1P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if ((gPred.v[x]) && (p.v[x]))       s = MIN(s,b.v[x]);   }   return(r); }

Examples

~p0; a = RunningMin1P(a,b,p1); On Entry: p0 = {0 0 1 1 0 1 1 1} a = {0 1D C B A 9 8} b = {2 3 4 5 2 5 3 1} p1 = {1 0 1 0 0 1 1 0} On Exit: a ={0 1 D 4 B 4 4 3} !p0; a = RunningMin1P(a,b,p1); On Entry: p0 = {0 0 1 10 1 1 1} a = {0 1 D C B A 9 8} b = {2 3 4 5 2 5 3 1} p1 = {1 0 1 0 0 1 10} On Exit: a = {0 0 D 4 0 4 4 3}

RunningMin2P

Using the value of the first active element in a as a basis, the Ruinstruction calculates the cumulative minima with active elements in bfrom this basis. Predicate p determines which elements are compared indetermining the cumulative minima. Inactive elements prior to the firstactive elements are copied into the destination. This instruction storesthe values after being compared into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that RunningMin2P uses the destination register as one of itsinputs.

Vector RunningMin2P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))       s = MIN(s, b.v[x]);     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningMin2P(a,b,p1); On Entry: p0 = {0 0 1 1 0 1 1 1} a = {0 1D C B A 9 8} b = {2 3 4 5 2 5 3 1} p1 = {1 0 1 0 0 1 1 0} On Exit: a ={0 1 4 4 B 4 3 3} !p0; a = RunningMin2P(a,b,p1); On Entry: p0 = {0 0 1 10 1 1 1} a = {0 1 D C B A 9 8} b = {2 3 4 5 2 5 3 1} p1 = {1 0 1 0 0 1 10} On Exit: a = {0 0 4 4 0 4 3 3}

RunningMax1P

Using the value of the first active element in a as a basis, theRunningMax1P instruction calculates the cumulative maxima with activeelements in b from this basis. Predicate p determines which elements arecompared in determining the cumulative maxima. Inactive elements priorto the first active elements are copied into the destination. Thisinstruction stores the values prior to being compared into thedestination register. As shown below, in some embodiments, theinstruction processes all elements equivalently; however, predication isperformed by the assignment of the result, and should be considered anintegral part of this instruction. Note that RunningMax1P uses thedestination register as one of its inputs.

Vector RunningMax1P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if ((gPred.v[x]) && (p.v[x]))       s = MAX(s,b.v[x]);   }   return(r); }

Examples

~p0; a = RunningMax1P(a,b,p1); On Entry: p0 = {0 0 1 1 0 1 1 1} a = {6 72 3 4 5 6 7} b = {8 9 1 4 5 6 7 8} p1 = {1 0 1 0 1 1 1 0} On Exit: a ={6 7 2 2 4 2 6 7} !p0; a = RunningMax1P(a,b,p1); On Entry: p0 = {0 0 1 10 1 1 1} a = {6 7 2 3 4 5 6 7} b = {8 9 1 4 5 6 7 8} p1 = {1 0 1 0 1 1 10} On Exit: a = {0 0 2 2 0 2 6 7}

RunningMax2P

Using the value of the first active element in a as a basis, theRunningMax2P instruction calculates the cumulative maxima with activeelements in b from this basis. Predicate p determines which elements arecompared in determining the cumulative maxima. Inactive elements priorto the first active elements are copied into the destination. Thisinstruction stores the values after being compared into the destinationregister. As shown below, in some embodiments, the instruction processesall elements equivalently; however, predication is performed by theassignment of the result, and should be considered an integral part ofthis instruction. Note that RunningMax2P uses the destination registeras one of its inputs.

Vector RunningMax2P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))       s = MAX(s, b.v[x]);     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningMax2P(a,b,p1); On Entry: p0 = {0 0 1 1 0 1 1 1} a = {6 72 3 4 5 6 7} b = {8 9 1 4 5 6 7 8} p1 = {1 0 1 0 1 1 1 0} On Exit: a ={6 7 2 2 4 6 7 7} !p0; a = RunningMax2P(a,b,p1); On Entry: p0 = {0 0 1 10 1 1 1} a = {6 7 2 3 4 5 6 7} b = {8 9 1 4 5 6 7 8} p1 = {1 0 1 0 1 1 10} On Exit: a = {0 0 2 2 0 6 7 7}

RunningAnd1P

Using the value of the first active element in a as a basis, theRunningAnd1P instruction calculates the cumulative bitwise AND withactive elements in b from this basis. Predicate p determines whichelements participate in the accumulation of addends. Inactive elementsprior to the first active elements are copied into the destination. Thisinstruction stores the values prior to being added into the destinationregister. As shown below, in some embodiments, the instruction processesall elements equivalently; however, predication is performed by theassignment of the result, and should be considered an integral part ofthis instruction. Note that RunningAnd1P uses the destination registeras one of its inputs.

Vector RunningAnd1P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = −1;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if ((gPred.v[x]) && (p.v[x]))       s &= b.v[x];   }  return(r); }

Examples

~p0; a = RunningAnd1P(a,b,p1); On Entry: p0 = {1  1  1 1 1 0 1 0} a = {715  0 1 2 3 4 5} b = {7 15  7 1 6 1 4 7} p1 = {0  1  1 0 1 1 1 0} OnExit: a = {7 15 15 7 7 3 6 5} !p0; a = RunningAnd1P(a,b,p1); On Entry:p0 = {1  1  1 1 1 0 1 0} a = {7 15  0 1 2 3 4 5} b = {7 15  7 1 6 1 4 7}p1 = {0  1  1 0 1 1 1 0} On Exit: a = {7 15 15 7 7 0 6 0}

RunningAnd2P

Using the value of the first active element in a as a basis, thisinstruction calculates the cumulative bitwise AND with active elementsin b from this basis. Predicate p determines which elements participatein the accumulation of addends. Inactive elements prior to the firstactive elements are copied into the destination. This instruction storesthe values after being added into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that RunningAnd2P uses the destination register as one of itsinputs.

Vector RunningAnd2P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = −1;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x]))       s &= b.v[x];     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningAnd2P(a,b,p1); On Entry: p0 = {1  1 1 1 1 0 1 0} a = {715 0 1 2 3 4 5} b = {7 15 7 1 6 1 4 7} p1 = {0  1 1 0 1 1 1 0} On Exit:a = {7 15 7 7 6 3 4 5} !p0; a = RunningAnd2P(a,b,p1); On Entry: p0 = {1 1 1 1 1 0 1 0} a = {7 15 0 1 2 3 4 5} b = {7 15 7 1 6 1 4 7} p1 = {0  11 0 1 1 1 0} On Exit: a = {7 15 7 7 6 0 4 0}

RunningOr1P

Using the value of the first active element in a as a basis, thisinstruction calculates the cumulative bitwise OR with active elements inb from this basis. Predicate p determines which elements participate inthe accumulation of addends. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues prior to being added into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that RunningOr1P uses the destination register as one of itsinputs.

Vector RunningOr1P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if ((gPred.v[x]) && (p.v[x] ))       s |= b.v[x];  }   return(r); }

Examples

~p0; a = RunningOr1P(a,b,p1); On Entry: p0 = {1 1 1 1 1 0 1 0} a = {7 19 9 9 9 9 9} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 1 0} On Exit: a ={7 1 3 3 3 9 3 9} !p0; a = RunningOr1P(a,b,p1); On Entry: p0 = {1 1 1 11 0 1 0} a = {7 1 9 9 9 9 9 9} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 10} On Exit: a = {7 1 3 3 3 0 3 0}

RunningOr2P

Using the value of the first active element in a as a basis, thisinstruction calculates the cumulative bitwise OR with active elements inb from this basis. Predicate p determines which elements participate inthe accumulation of addends. Inactive elements prior to the first activeelements are copied into the destination. This instruction stores thevalues after being added into the destination register. As shown below,in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that RunningOr2P uses the destination register as one of itsinputs.

Vector RunningOr2P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))       s |= b.v[x];     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningOr2P(a,b,p1); On Entry: p0 = {1 1 1 1 1 0 1 0} a = {7 19 9 9 9 9 9} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 1 0} On Exit: a ={7 3 3 3 3 9 7 9} !p0; a = RunningOr2P(a,b,p1); On Entry: p0 = {1 1 1 11 0 1 0} a = {7 1 9 9 9 9 9 9} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 10} On Exit: a = {7 3 3 3 3 0 7 0}

RunningXor1P

Using the value of the first active element in a as a basis, thisinstruction calculates the cumulative bitwise XOR with active elementsin b from this basis. Predicate p determines which elements participatein the accumulation of addends. Inactive elements prior to the firstactive elements are copied into the destination. This instruction storesthe values prior to being added into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that RunningXor1P uses the destination register as one of itsinputs.

Vector RunningXor1P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if ((gPred.v[x]) && (p.v[x] ))       s {circumflexover ( )}= b.v[x];   }   return(r); }

Examples

~p0; a = RunningXor1P(a,b,p1); On Entry: p0 = {1 1 1 1 1 0 1 0} a = {7 65 4 3 2 1 0} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 1 0} On Exit: a ={7 6 4 5 5 2 6 0} !p0; a = RunningXor1P(a,b,p1); On Entry: p0 = {1 1 1 11 0 1 0} a = {7 6 5 4 3 2 1 0} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 10} On Exit: a = {7 6 4 5 5 0 6 0}

RunningXor2P

Using the value of the first active element in a as a basis, thisinstruction calculates the cumulative bitwise XOR with active elementsin b from this basis. Predicate p determines which elements participatein the accumulation of addends. Inactive elements prior to the firstactive elements are copied into the destination. This instruction storesthe values after being added into the destination register. As shownbelow, in some embodiments, the instruction processes all elementsequivalently; however, predication is performed by the assignment of theresult, and should be considered an integral part of this instruction.Note that RunningXor2P uses the destination register as one of itsinputs.

Vector RunningXor2P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 0;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))       s {circumflex over ( )}= b.v[x];    r.v[x] = s;   }   return(r); }

Examples

~p0; a = RunningXor2P(a,b,p1); On Entry: p0 = {1 1 1 1 1 0 1 0} a = {7 65 4 3 2 1 0} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 1 0} On Exit: a ={7 4 5 5 6 2 3 0} !p0; a = RunningXor2P(a,b,p1); On Entry: p0 = {1 1 1 11 0 1 0} a = {7 6 5 4 3 2 1 0} b = {7 2 1 2 3 4 5 6} p1 = {0 1 1 0 1 1 10} On Exit: a = {7 4 5 5 6 0 3 0}

RunningMul1P

Using the value of the first active element in a as a basis, thisinstruction calculates the cumulative multiplication with activeelements in b from this basis. Predicate p determines which elementsparticipate in the accumulation of addends. Inactive elements prior tothe first active elements are copied into the destination. Thisinstruction stores the values prior to being added into the destinationregister. As shown below, in some embodiments, the instruction processesall elements equivalently; however, predication is performed by theassignment of the result, and should be considered an integral part ofthis instruction. Note that RunningMul1P uses the destination registeras one of its inputs.

Vector RunningMul1P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 1;   for (x=0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {    r.v[x] = s;     if ((gPred.v[x]) && (p.v[x] ))       s *= b.v[x];  }   return(r); }

Examples

~p0; a = RunningMul1P(a,b,p1); On Entry: p0 = {1 1  1  1  1 0  1 0} a ={7 6  5  4  3 2  1 0} b = {7 2  1  2  3 4  2 6} p1 = {0 1  1  0  1 1  10} On Exit: a = {7 6 12 12 12 2 36 0} !p0; a = RunningMul1P(a,b,p1); OnEntry: p0 = {1 1  1  1  1 0  1 0} a = {7 6  5  4  3 2  1 0} b = {7 2  1 2  3 4  2 6} p1 = {0 1  1  0  1 1  1 0} On Exit: a = {7 6 12 12 12 0 360}

RunningMul2P

Using the value of the first active element in a as a basis, thisinstruction calculates the cumulative multiplication with activeelements in b from this basis. Predicate p determines which elementsparticipate in the accumulation of addends. Inactive elements prior tothe first active elements are copied into the destination. Thisinstruction stores the values after being added into the destinationregister. As shown below, in some embodiments, the instruction processesall elements equivalently; however, predication is performed by theassignment of the result, and should be considered an integral part ofthis instruction. Note that RunningMul2P uses the destination registeras one of its inputs.

Vector RunningMul2P(const Vector &a, const Vector &b, const Vector &p) {  Vector r;   int s, x;   s = 1;   for (x= 0; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))     {       s = a.v[x];       break;     }    else       r.v[x] = a.v[x];   }   for (; x<VECLEN; ++x)   {     if((gPred.v[x]) && (p.v[x] ))       s *= b.v[x];     r.v[x] = s;   }  return(r); }

Examples

~p0; a = RunningMul2P(a,b,p1); On Entry: p0 = {1  1  1  1  1 0  1 0} a ={7  6  5  4  3 2  1 0} b = {7  2  1  2  3 4  2 6} p1 = {0  1  1  0  1 1 1 0} On Exit: a = {7 12 12 12 36 2 72 0} !p0; a = RunningMul2P(a,b,p1);On Entry: p0 = {1  1  1  1  1 0  1 0} a = {7  6  5  4  3 2  1 0} b = {7 2  1  2  3 4  2 6} p1 = {0  1  1  0  1 1  1 0} On Exit: a = {7 12 12 1236 0 72 0}

Vector Read/Write Instructions

The following section describes instructions for performing memoryoperations in accordance with the described embodiments. For clarity,these example instructions are described using a single data type and asingle addressing mode. Thus, the described instructions provide a basicunderstanding of the read/write operations used in the describedembodiments. In some embodiments, these instructions are extended tosupport different data types, addressing modes, etc. Some embodimentsprovide support for a virtual memory system in these instructions.

VectorRead

This instruction reads a vector of data from a vector of addressescalculated from the instruction's inputs. A vector of offsets in offsetare scaled by 1, 2, 4, or 8 according to type, and added to the scalaraddress specified in ptr. Data is returned in the destination register,and either sign-extended or zero-padded depending on whether signed orunsigned data is loaded. If this instruction is predicated, onlyaddresses corresponding to active elements are read. This instructionfaults on any attempt to read an unmapped page. Depending on the settingof the STM bit, the operating system may choose to set bits in the FSRin response to illegal memory operations in other than the first activeelement. The syntax for this instruction is:

-   -   Vector VectorRead<type>(void *ptr, Vector offset);

VectorReadFF

This instruction reads a vector of data from a vector of addressescalculated from its inputs. Only the first active element can generate amemory fault or exception. A vector of offsets in offset are scaled by1, 2, 4, or 8, according to type, and added to the scalar addressspecified in ptr. Data is returned in the destination register. If thisinstruction is predicated, only addresses corresponding to activeelements are read.

This instruction only takes a page fault if the first active address isillegal or otherwise unmapped. If a faulting condition occurs inpositions subsequent to the first active element, no exception isgenerated and corresponding bits in the FSR are set. This allowssubsequent elements to avoid paging-in data from mass storage when thedata is not certain to be used.

The interface for this instruction is:

-   -   Vector VectorRead<type>FF(void *ptr, Vector offset);

VectorReadNF

This instruction reads a vector of data from a vector of addressescalculated from its inputs. This instruction does not generate anymemory faults, and thus may not actually read memory if a fault shouldhave occurred. A vector of offsets in offset are scaled by 1, 2, 4, or8, according to type, and added to the scalar address specified in ptr.Data is returned in the destination register. If this instruction ispredicated, only addresses corresponding to active elements are read.

This instruction does not fault if an address is illegal or otherwiseunmapped. If a faulting condition occurs, no exception is generated andcorresponding bits in the FSR are set. This provides a mechanism forsoftware speculation to avoid paging-in data from mass storage when thedata is not certain to be used. This instruction is useful whenspeculatively pointer chasing, and to prefetch data that may not beaccessed.

The interface for this instruction is:

-   -   Vector VectorRead<type>NF(void *ptr, Vector offset);    -   Flags: NONE: Set if no elements read; cleared otherwise.

VectorWriteInt

This instruction writes a vector of data in values to a vector ofaddresses calculated from the instruction's inputs. A vector of offsetsin offset are scaled by 1, 2, 4, or 8, and added to the scalar addressspecified in ptr. If this instruction is predicated, only addressescorresponding to active elements are written. Write addresses should bevalid, and there is no avoidance of program termination in the event ofa write to an illegal or protected address. The syntax for thisinstruction is:

-   -   Vector VectorWriteInt(void *ptr, Vector offset, Vector values);

Sequential Vector Reads and Writes

Although the embodiments described above primarily operate on memoryusing a gather/scatter model, alternative embodiments include a set ofsequential memory read/write instructions to handle the case wherememory is addressed sequentially. In these embodiments, these memoryoperations: (1) support predication and zeroing; (2) work on naturallyaligned boundaries for any data type; and (3) support normal andfirst-faulting variants (to support software speculation).

VectorLEA

This instruction calculates a vector of addresses from its inputs. Avector of offsets in offset are scaled by 1, 2, 4, or 8, and added tothe scalar address specified in ptr. The syntax for this instruction is:

-   -   Vector VectorLEA(void *ptr, Vector offset);

VectorIndex

This instruction populates a vector by monotonically increasing a by bfor each vector position. The given value of a is stored in the firstelement of the destination, and b is added to every position thereafter.While the example below processes all elements, predication is performedby the assignment of the result, and should be considered an integralpart of this instruction. The syntax for this instruction is:

-   -   Vector VectorIndex(int a, int b)        This instruction operates as follows:

Vector VectorIndex(int a, int b) {   Vector r = 0;   int x;   for (x=0;x<VECLEN; ++x)     r.v[x] = a + b * x;   return(r); }

Examples

~p0; a = VectorIndex(1,2); On Entry: p0 = {0 1 1 1 1  1  1 0} a = {9 9 99 9  9  9 9} On Exit: a = {9 3 5 7 9 11 13 9} !p0; a = VectorIndex(1,2);On Entry: p0 = {1 1 1 1 1  1  1 0} a = {9 9 9 9 9  9  9 9} On Exit: a ={0 3 5 7 9 11 13 0}

Executing Program Code

FIG. 20 presents a flowchart illustrating a process for executingprogram code in accordance with the described embodiments. Morespecifically, in the process shown in FIG. 20, processor 102 executes aRemaining instruction.

The Remaining instruction takes an input vector as its input and outputsa result vector. When executed by processor 102, the Remaininginstruction causes processor 102 to determine a position for a “keyelement,” which is rightmost/last element in the input vector for whicha corresponding element in a predicate vector is active. Processor 102then sets elements to the right of the key element position in theresult vector equal to a first predetermined value and the elements ator to the left of the key element position equal to a secondpredetermined value. For example, in some embodiments, processor 102 canset the elements to the right of the key element in the result vector to“1” and can set the elements at or to the left of the key element to“0.” Processor 102 then sets one or more processor status flags based onthe values in the result vector. For example, processor 102 can executea VectorTest instruction with the result vector as input. The VectorTestinstruction causes processor 102 to set one or more processor statusflags to indicate positions in the result vector that were set tocorresponding values. In some embodiments, the predicate vector that wasused to determine the position of the key element is also used as thepredicate vector for the VectorTest instruction.

Although any properly-formatted type of input vector can be used as aninput for the Remaining instruction, in some embodiments, the inputvector used as an input by the Remaining instruction is a predicatevector. In these embodiments, the predicate vector is generated duringan earlier operation. For example, although numerous instructions can beused to generate the predicate vector, the above-describedGeneratePredicates instruction or the CheckHazard instruction are twoexamples of instructions that can be used to generate the predicatevector. In these embodiments, the Remaining instruction can be used todetermine if there were any active elements in the predicate vector,and, if so, where the rightmost/last active element was located, as wellas setting processor 102 status flags to indicate which elements in thepredicate vector were active.

Although we use “1” and “0” as an example of values to which theelements of the result vector are set, in alternative embodiments, othervalues can be used. Generally, the result vector can be set to any valuethat can be used in subsequent operations and the VectorTestinstruction. For example, in some embodiments, processor 102 can set theelements in the result vector to the right of the key element to anon-zero value (e.g., “5,” “T,” etc.), and sets the elements at or tothe left of the key element to “0.”

In described embodiments, some or all of the operations shown in FIG. 20can be performed in parallel in processor 102. In other words, thedetermination of the key element and/or the writing of the elements ofthe result vector can be completed for the vector elements in parallelin vector execution unit 204 in processor 102. Note that, although theseoperations are described as being performed in parallel, in alternativeembodiments, some or all of the operations can be performed serially.

As described above, when executing the Remaining instruction, processor102 can use a predicate vector to determine the elements of the inputvector to be checked, the elements of the result vector to be written,and the elements of the result vector to be checked when settingprocessor status flags. However, although we describe processor 102receiving a predicate vector, in some embodiments, processor 102 canexecute the Remaining instruction without receiving a predicate vector.In these embodiments, if no predicate vector is received, processor 102assumes a predicate vector for which all elements are active andprocesses the Remaining instruction as described below.

As additionally described above, in some embodiments, the same predicatevector (which can be an assumed predicate vector) is used for bothgenerating the result vector and executing the VectorTest instruction toset the processor status flags. However, in alternative embodiments, adifferent/separate predicate vector can be used.

The process shown in FIG. 20 starts when processor 102 encounters aRemaining instruction that takes an input vector, v_in, as its inputwhile executing program code (i.e., Remaining (v_in)) (step 2000). Forthis example, we assume that the Remaining instruction is predicatedusing the following predicate vector:

-   -   p0 = { 0 1 1 1 1 1 0 0 }        Thus, the command encountered by processor 102 is:    -   ˜p0; r = Remaining(v_in);

Processor 102 then executes the Remaining instruction, which causesprocessor 102 to determine a key element, which is the rightmost/lastactive element in the input vector v_in that contains a predeterminedvalue where a corresponding element of the predicate vector is active(step 2002). As described above, the predetermined value that processor102 searches for in the input vector v_in can be any value that can beidentified by processor 102; however, for the following example, we use“1” as the value. Note that, along with the key element in the inputvector v_in, the element in the same position of the result vector r isthe “key element” position in the result vector (i.e., the key elementfor all the vectors is in the same position).

Processor 102 then sets elements (for which the corresponding elementsin the predicate vector are active) to the right of the key elementposition in the result vector to a first value (step 2004) and setselements at or to the left of the key element position of the resultvector to a second value (step 2006). For example (and using “1” as thefirst value and “0” as the second value):

On entry: p0 = {0 1 1 1 1 1 0 0} v_in = {1 4 5 8 0 0 0 1} On exit: r ={X 0 0 0 1 1 X X}In this example, upon executing the Remaining instruction, processor 102determines that the last active element in the input vector v_in thatcontains a non-zero value where a corresponding element of the predicatevector p0 is active is in the fourth element position of the inputvector v_in. Therefore, the fourth element is the key element. Processor102 then sets the elements at and to the left of the key elementposition in the result vector r, i.e., the second through fourthelements, to 0. Processor 102 additionally sets the elements to theright of the key element position in the result vector r, i.e., thefifth and sixth elements, to 1. The remaining elements of the resultvector r are marked with “X” because these elements remain unchanged dueto predication.

Note that the element in the eighth position of the input vector v_in inthe example above contains a non-zero value. However, this does noteffect the generation of the result vector r because the correspondingelement in the predicate vector p0 is not active.

Processor 102 then sets one or more processor status flags based on theelements that are set to the first value in the result vector (step2008). For example, processor 102 can execute a VectorTest instructionwith the result vector r as an input. As described with respect to FIG.21, the VectorTest instruction sets/clears status flags in processor 102to indicate which, if any, positions in result vector r contain thefirst value value (which we describe using a non-zero value forclarity). In addition, in some embodiments, processor 102 uses the samepredicate vector (or the assumed predicate vector) for the VectorTestinstruction that was used during the generation of the result vector.

Note that, although we use the VectorTest instruction for clarity inthis description, in alternative embodiments, another instruction (orinstructions) can be used to perform the described checks for resultvector r. Generally, any instruction or processor operation (orcombination of instructions and/or processor operations) that can setthe one or more processor status flags can be used to check the resultvector r.

FIG. 21 presents a flowchart illustrating a process for executing aVectorTest instruction with the result vector r generated during theexecution of the Remaining instruction described above with respect toFIG. 20 as the input.

Generally, the VectorTest instruction takes an input vector as itsinput. When executed by processor 102, the VectorTest instruction causesprocessor 102 to check the values held in each element of the inputvector to determine which elements of the input vector contain apredetermined value. Processor 102 can then set processor statusvariables, which are interchangeably called “status flags,” to indicateelements in the input vector that contain the predetermined value. Inthis way, processor 102 records which, if any, of the elements of theinput vector contained the predetermined value. During one or moresubsequent operations, processor 102 can use the status flags todetermine the elements of the input vector that were set to thepredetermined value.

The process shown in FIG. 21 starts when processor 102 executes aVectorTest instruction with the input vector, r (i.e., the output resultvector r from the Remaining instruction). Executing the vector testinstruction causes processor 102 to determine whether certain activeelements in the result vector r contain a non-zero value (step 2100). Inthis example, the predicate vector used for the VectorTest instructionis the same predicate vector that was used during the generation of theresult vector. However, in alternative embodiments, a differentpredicate vector can be used.

Specifically, processor 102 determines if all of the active elements inthe input vector r contain non-zero values (step 2102). If so, processor102 updates a gAll status flag in processor 102 to indicate that all ofthe active elements in the input vector r contain non-zero values (step2104). For example:

On entry: gAll = 0 p0 = {0 1 1 1 1 1 0 0} r = {0 1 1 1 1 1 1 0} On exit:gAll = 1As is shown, gAll is initially cleared (i.e., set to zero). Uponexecuting the VectorTest instruction, processor 102 determines that allof the active elements of input vector r contain a non-zero value andhence updates the gAll status flag to 1. In this way, processor 102records that all of the active elements of the input vector r were setto non-zero values. Note that the gAll status flag is not set to 1 inthe case where at least one of the active elements of the input vector ris set to “0.”

As can be seen above, the inactive elements where input vector rcontains zero values, i.e., the first and eighth elements, do not havean effect on the setting of the gAll processor status flag; nor does theinactive seventh element where r contains a non-zero value.

In addition to checking all the active elements, processor 102determines if the leftmost/first active element of the input vector rcontains a non-zero value (step 2106). If so, processor 102 updates agFirst status flag in processor 102 to indicate that the first activeelement in the input vector r contains a non-zero value (step 2108). Forexample:

On entry: gFirst = 0 p0 = {0 1 1 1 1 1 0 0} r = {1 1 0 0 1 1 1 0} Onexit: gFirst = 1As is shown, gFirst is initially cleared (i.e., set to zero). Uponexecuting the VectorTest instruction, processor 102 determines that theleftmost active element of input vector r contains a non-zero value andhence updates the gFirst status flag to 1. In this way, processor 102records that the leftmost/first active element of the input vector r wasset to the non-zero value. Note that the gFirst status flag is not setto 1 in the case where the leftmost active element of the input vector ris set to “0.”

In addition to checking the leftmost active element and all the activeelements, processor 102 determines if the rightmost/last active elementof the input vector r is set to a non-zero value (step 2012). If so,processor 102 updates a gLast status flag in processor 102 to indicatethat the last active element in the input vector r was set to thenon-zero value (step 2014). For example:

On entry: gLast = 0 p0 = {0 1 1 1 1 1 0 0} r = {1 1 0 0 1 1 1 0} Onexit: gLast = 1As is shown, gLast is initially cleared (i.e., set to zero). Uponexecuting the VectorTest instruction, processor 102 determines that therightmost active element of input vector r contains a non-zero value andhence updates the gLast status flag to 1. In this way, processor 102records that the rightmost/last active element of the input vector r wasset to the non-zero value. Note that the gLast status flag is not set to1 in the case where the rightmost active element of the input vector ris set to “0.”

In addition to the above-described checks, processor 102 determines ifnone of the active elements in the input vector r are set to non-zerovalues (step 2016). If so, processor 102 updates a gNone status flag inprocessor 102 to indicate that none of the active elements in the inputvector r were set to non-zero values (step 2018). For example:

On entry: gNone = 0 p0 = {0 1 1 1 1 1 0 0} r = {1 0 0 0 0 0 1 1} Onexit: gNone = 1

As is shown, gNone is initially cleared (i.e., set to zero). Uponexecuting the VectorTest instruction, processor 102 determines that noneof the active elements of input vector r contain a non-zero value andhence updates the gNone status flag to 1. In this way, processor 102records that all of the active elements of the input vector r containedzero (i.e., that none of the active elements of the input vector r wereset to non-zero values). Note that the gNone status flag is not set to 1in the case where at least one of the active elements of the inputvector r is set to “1.”

Although we describe the checks separately for clarity, in someembodiments, these checks are performed by processor 102 in parallel.That is, the check for the first and last active elements, as well asthe check for all and none can be performed by processor 102simultaneously. In some embodiments, processor 102 includes one or morehardware structures (e.g., vector value reading and comparisonmechanisms, etc.) that enable the simultaneous checking of the indicatedpositions in the input vector.

In addition, although in the examples we describe “setting” a processorstatus flag to “1,” in some embodiments the processor status flags canbe can be cleared or set to “0,” or the status flags can be set toanother predetermined value.

Moreover, although we describe performing four specific checks (first,last, all, and none), in alternative embodiments, different arrangementsof active elements can be checked. For example, in some embodiments,specific elements, if they are active, can be checked (element five,three, etc.).

The foregoing descriptions have been presented only for purposes ofillustration and description. They are not intended to be exhaustive orto limit the described embodiments to the forms disclosed. Accordingly,many modifications and variations will be apparent to practitionersskilled in the art. Additionally, the above disclosure is not intendedto limit the described embodiments. The scope of these embodiments isdefined by the appended claims.

1. A method for executing a vector instruction in a processor,comprising: receiving an input vector and optionally receiving apredicate vector, wherein each vector includes N elements; determining akey element position, wherein, if the predicate vector is received, thekey element position is the rightmost active element of the input vectorwhere a corresponding element of the predicate vector is active,otherwise, the key element position is the rightmost active element ofthe input vector; generating a result vector, wherein generating theresult vector comprises: if the predicate vector is received, for eachelement in the result vector for which a corresponding element of thepredicate vector is active, otherwise, for each element of the resultvector, setting each element of the result vector to the right of thekey element to a first predetermined value and setting each element ofthe result vector at or to the left of the key element to a secondpredetermined value; and setting one or more processor status flags toindicate positions in the result vector that are set to the firstpredetermined value.
 2. The method of claim 1, wherein setting the oneor more processor status flags comprises: if the predicate vector isreceived, for each element in the result vector for which the predicatevector is active, otherwise for each element of the result vector, atleast one of: updating a first processor status flag to indicate if aleftmost element is set to the first predetermined value; updating asecond processor status flag to indicate if a rightmost element is setto the first predetermined value; updating a third processor status flagto indicate if all of the elements are set to the first predeterminedvalue; or updating a fourth processor status flag to indicate if none ofthe elements are set to the first predetermined value.
 3. The method ofclaim 2, further comprising executing a VectorTest instruction toperform the setting operation.
 4. The method of claim 1, whereingenerating the result vector comprises, for each inactive element of thepredicate vector, setting the corresponding element in the result vectorto zero or leaving the value in the element of the result vectorunchanged.
 5. The method of claim 1, wherein when there is no activeelement in the input vector for which a corresponding element of thepredicate vector is active, and therefore no key element position, themethod comprises, if the predicate vector is received, for each elementin the result vector for which a corresponding element of the predicatevector is active, otherwise, for each element of the result vector,setting each element position of the result vector to the firstpredetermined value.
 6. A processor that executes a vector instruction,comprising: an execution unit, wherein the execution unit is configuredto: receive an input vector and optionally receive a predicate vector,wherein each vector includes N elements; determine a key elementposition, wherein, if the predicate vector is received, the key elementposition is the rightmost active element of the input vector where acorresponding element of the predicate vector is active, otherwise, thekey element position is the rightmost active element of the inputvector; generate a result vector, wherein when generating the resultvector, the execution unit is configured to: if the predicate vector isreceived, for each element in the result vector for which acorresponding element of the predicate vector is active, otherwise, foreach element of the result vector, set each element of the result vectorto the right of the key element to a first predetermined value and seteach element of the result vector at or to the left of the key elementto a second predetermined value; and set one or more processor statusflags to indicate positions in the result vector that are set to thefirst predetermined value.
 7. The processor of claim 6, wherein whensetting the one or more processor status flags, the execution unit isconfigured to: if the predicate vector is received, for each element inthe result vector for which the predicate vector is active, otherwisefor each element of the result vector, at least one of: update a firstprocessor status flag to indicate if a leftmost element is set to thefirst predetermined value; update a second processor status flag toindicate if a rightmost element is set to the first predetermined value;update a third processor status flag to indicate if all of the elementsare set to the first predetermined value; or update a fourth processorstatus flag to indicate if none of the elements are set to the firstpredetermined value.
 8. The processor of claim 7, wherein whenperforming the setting operation, the execution mechanism is configuredto execute a vectorTest instruction.
 9. The processor of claim 6,wherein when generating the result vector, for each inactive element ofthe predicate vector, the execution mechanism is configured to set thecorresponding element in the result vector to zero or leave the value inthe element of the result vector unchanged.
 10. The processor of claim6, wherein when there is no active element in the input vector for whicha corresponding element of the predicate vector is active, and thereforeno key element position, the execution mechanism is configured to, ifthe predicate vector is received, for each element in the result vectorfor which a corresponding element of the predicate vector is active,otherwise, for each element of the result vector, set each elementposition of the result vector to the first predetermined value.
 11. Acomputer system that executes a vector instruction, comprising: aprocessor; a memory coupled to the processor that stores instructionsand data for the processor; an execution unit in the processor, whereinthe execution unit is configured to: receive an input vector andoptionally receive a predicate vector, wherein each vector includes Nelements; determine a key element position, wherein, if the predicatevector is received, the key element position is the rightmost activeelement of the input vector where a corresponding element of thepredicate vector is active, otherwise, the key element position is therightmost active element of the input vector; generate a result vector,wherein when generating the result vector, the execution unit isconfigured to: if the predicate vector is received, for each element inthe result vector for which a corresponding element of the predicatevector is active, otherwise, for each element of the result vector, seteach element of the result vector to the right of the key element to afirst predetermined value and set each element of the result vector ator to the left of the key element to a second predetermined value; andset one or more processor status flags to indicate positions in theresult vector that are set to the first predetermined value.
 12. Thecomputer system of claim 11, wherein when setting the one or moreprocessor status flags, the execution unit is configured to: if thepredicate vector is received, for each element in the result vector forwhich the predicate vector is active, otherwise for each element of theresult vector, at least one of: update a first processor status flag toindicate if a leftmost element is set to the first predetermined value;update a second processor status flag to indicate if a rightmost elementis set to the first predetermined value; update a third processor statusflag to indicate if all of the elements are set to the firstpredetermined value; or update a fourth processor status flag toindicate if none of the elements are set to the first predeterminedvalue.
 13. The computer system of claim 12, wherein when performing thesetting operation, the execution mechanism is configured to execute aVectorTest instruction.
 14. The computer system of claim 11, whereinwhen generating the result vector, for each inactive element of thepredicate vector, the execution mechanism is configured to set thecorresponding element in the result vector to zero or leave the value inthe element of the result vector unchanged.
 15. The computer system ofclaim 11, wherein when there is no active element in the input vectorfor which a corresponding element of the predicate vector is active, andtherefore no key element position, the execution mechanism is configuredto, if the predicate vector is received, for each element in the resultvector for which a corresponding element of the predicate vector isactive, otherwise, for each element of the result vector, set eachelement position of the result vector to the first predetermined value.